Improving Time Bounded Reachability Computations in Interactive Markov Chains.
Hassan HatefiHolger HermannsPublished in: FSEN (2013)
Keyphrases
- markov chain
- state space
- steady state
- finite state
- transition probabilities
- random walk
- markov process
- monte carlo simulation
- monte carlo method
- markov model
- monte carlo
- probabilistic automata
- markov processes
- stochastic process
- stationary distribution
- transition matrix
- reinforcement learning
- confidence intervals
- assemble to order systems
- sample path
- markov decision processes