An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains.

Ming Xu Jianling Fu Jingyi Mei Yuxin Deng

Published in: CoRR (2021)

Keyphrases

model checking
markov chain
finite state
temporal logic
markov model
verification method
objective function
formal specification
monte carlo method
temporal properties