Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property.
Parosh Aziz AbdullaNoomene Ben HendaRichard MayrPublished in: LICS (2005)
Keyphrases
- markov chain
- steady state
- finite state
- monte carlo
- markov process
- markov processes
- transition probabilities
- random walk
- monte carlo simulation
- markov model
- stationary distribution
- probabilistic automata
- monte carlo method
- cellular automata
- stochastic process
- state space
- transition matrix
- finite number
- dynamical systems
- assemble to order systems
- single server
- finite automata
- fixed point
- em algorithm