Markov Models

MaRDI QIDQ40290swMATHFDO

Authors Johannes Hölzl, Tobias Nipkow

Publication date 3 January 2012

Official website https://www.isa-afp.org/entries/Markov_Models.html

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

(7)

• CPN/Tools
• Foundational (co)datatypes and (co)recursion for higher-order logic
• Markov chains and Markov decision processes in Isabelle/HOL
• pGCL
• Formal dependability modeling and analysis: a survey
• Formalising Semantics for Expected Running Time of Probabilistic Programs
• Deriving class

This page was built for software: Markov Models