Markov Models

swMATH28576MaRDI QIDQ40290FDOQ40290

Author name not available (Why is that?)

Cited In (4)

• Formalising Semantics for Expected Running Time of Probabilistic Programs
• Formal Dependability Modeling and Analysis: A Survey
• 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