Verifying omega-Regular Properties of Markov Chains.
Doron BustanSasha RubinMoshe Y. VardiPublished in: CAV (2004)
Keyphrases
- markov chain
- steady state
- markov model
- markov processes
- finite state
- markov process
- random walk
- monte carlo method
- stationary distribution
- transition probabilities
- stochastic process
- transition matrix
- probabilistic automata
- monte carlo
- monte carlo simulation
- sample path
- state space
- confidence intervals
- queueing theory