Formalization of Finite-State Discrete-Time Markov Chains in HOL.

Liya Liu, Osman Hasan, Sofine Tahar

Browse the full ATVA paper archive.