QReach: A Reachability Analysis Tool for Quantum Markov Chains.
Aochu DaiMingsheng YingPublished in: CAV (3) (2024)
Keyphrases
- analysis tool
- markov chain
- state space
- steady state
- finite state
- transition probabilities
- markov process
- random walk
- stationary distribution
- markov model
- monte carlo method
- monte carlo
- markov processes
- stochastic process
- dynamic programming
- assemble to order systems
- monte carlo simulation
- reinforcement learning
- transition matrix
- confidence intervals
- genetic algorithm
- markov decision processes
- model checking
- single server
- optimal policy
- generative model
- probabilistic model
- search space
- sample path
- bayesian networks