Markov Models

MaRDI QIDQ7361868FDO

Authors Johannes Hölzl, Tobias Nipkow

Publication date 3 January 2012

Cites work

• Formalising Semantics for Expected Running Time of Probabilistic Programs
• Markov chains and Markov decision processes in Isabelle/HOL
• Verifying pCTL model checking

Cited in

(4)

• Probabilistic Noninterference
• Probabilistic Timed Automata
• Stochastic Matrices and the Perron-Frobenius Theorem
• Hidden Markov Models

This page was built for software: Markov Models