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

DOI10.1016/j.tcs.2022.08.016OpenAlexW4297816892MaRDI QIDQ2084946

Jingyi Mei, Jianling Fu, Ming Xu, Yu-xin Deng

Publication date: 14 October 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.04971

zbMATH Keywords

computer algebramodel checkingquantum computingformal logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• PRISM
• REDLOG
• z3
• Storm

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model checking quantum Markov chains
• Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
• Multiphase until formulas over Markov reward models: an algebraic approach
• Decomposition of quantum Markov chains and its applications
• Model checking conditional CSL for continuous-time Markov chains
• Reachability Probabilities of Quantum Markov Chains
• Model Checking Omega-regular Properties for Quantum Markov Chains
• Conditional Probabilities over Probabilistic and Nondeterministic Systems
• Algorithms in real algebraic geometry

This page was built for publication: An algebraic method to fidelity-based model checking over quantum Markov chains