An algebraic method to fidelity-based model checking over quantum Markov chains.

Ming Xu Jianling Fu Jingyi Mei Yuxin Deng

Published in: Theor. Comput. Sci. (2022)

Keyphrases

markov chain
model checking
objective function
finite state
transition matrix
dynamic programming
probabilistic model
markov model
verification method
machine learning
reinforcement learning
computational complexity
state space
monte carlo method