Formal Reasoning about Classified Markov Chains in HOL.

Liya Liu, Osman Hasan, Vincent Aravantinos, Sofine Tahar

Browse the full ITP paper archive.