Formal Reasoning about Classified Markov Chains in HOL.
Liya LiuOsman HasanVincent AravantinosSofiène TaharPublished in: ITP (2013)
Keyphrases
- markov chain
- formal methods
- finite state
- steady state
- transition probabilities
- monte carlo
- markov process
- state space
- stationary distribution
- markov model
- monte carlo simulation
- random walk
- transition matrix
- probabilistic automata
- markov processes
- stochastic process
- theorem prover
- monte carlo method
- sample path
- assemble to order systems
- natural deduction
- single server
- formal specification
- sample size
- mutual information