Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters.
Guoxin SuDavid S. RosenblumPublished in: ATVA (2014)
Keyphrases
- markov chain
- state space
- transition probabilities
- steady state
- finite state
- markov processes
- monte carlo simulation
- markov process
- monte carlo
- stationary distribution
- random walk
- probabilistic automata
- monte carlo method
- markov model
- stochastic process
- maximum likelihood
- assemble to order systems
- confidence intervals
- queueing networks
- machine learning
- reinforcement learning
- optimal policy
- expectation maximization