On the Formal Analysis of HMM Using Theorem Proving.

Liya Liu, Vincent Aravantinos, Osman Hasan, Sofine Tahar

Browse the full ICFEM paper archive.