Reachability Analysis of Recursive Quantum Markov Chains.
Yuan FengNengkun YuMingsheng YingPublished in: MFCS (2013)
Keyphrases
- markov chain
- reachability analysis
- state space
- markov decision processes
- model checking
- steady state
- finite state
- monte carlo
- transition probabilities
- stationary distribution
- timed automata
- random walk
- markov process
- markov model
- stochastic process
- markov processes
- monte carlo method
- incremental algorithms
- transition matrix
- reinforcement learning
- dynamic programming
- confidence intervals
- least squares