Markov Models

MaRDI QIDQ40290swMATHFDO

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

Cited in

(7)

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

This page was built for software: Markov Models