Markov Models

swMATH28576MaRDI QIDQ40290FDOQ40290

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Markov Models