Measurement-Based Verification of Quantum Markov Chains.
Ji GuanYuan FengAndrea TurriniMingsheng YingPublished in: CAV (3) (2024)
Keyphrases
- markov chain
- steady state
- finite state
- transition probabilities
- markov process
- stationary distribution
- stochastic process
- monte carlo simulation
- markov model
- monte carlo method
- monte carlo
- model checking
- transition matrix
- sample path
- markov processes
- state space
- random walk
- probabilistic automata
- search algorithm
- image segmentation
- machine learning
- algo rithm
- graphical models
- genetic algorithm