Perturbation Analysis in Verification of Discrete-Time Markov Chains.
Taolue ChenYuan FengDavid S. RosenblumGuoxin SuPublished in: CONCUR (2014)
Keyphrases
- markov chain
- finite state
- markov processes
- steady state
- monte carlo
- markov model
- stochastic process
- transition probabilities
- markov process
- state space
- random walk
- stationary distribution
- model checking
- monte carlo method
- transition matrix
- monte carlo simulation
- confidence intervals
- sample path
- assemble to order systems
- model selection
- probabilistic automata
- learning algorithm