Correctness Issues of Symbolic Bisimulation Computation for Markov Chains.
Ralf WimmerBernd BeckerPublished in: MMB/DFT (2010)
Keyphrases
- markov chain
- steady state
- finite state
- transition probabilities
- markov processes
- markov process
- monte carlo simulation
- monte carlo
- markov model
- monte carlo method
- stochastic process
- state space
- stationary distribution
- random walk
- probabilistic automata
- state transition
- learning algorithm
- sample path
- confidence intervals
- transition matrix