Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.
Markus N. RabeChristoph M. WintersteigerHillel KuglerBoyan YordanovYoussef HamadiPublished in: QEST (2014)
Keyphrases
- markov chain
- transition probabilities
- state space
- state transition
- steady state
- sample path
- monte carlo
- finite state
- markov process
- stationary distribution
- random walk
- confidence intervals
- monte carlo method
- stochastic process
- monte carlo simulation
- probability distribution
- probabilistic automata
- markov model
- markov processes
- queueing networks
- approximation algorithms
- dynamic programming
- assemble to order systems
- transition matrix
- machine learning
- markov chain monte carlo
- conditional probabilities
- generative model
- mutual information
- optimal solution
- reinforcement learning