Measuring the constrained reachability in quantum Markov chains

DOI10.1007/S00236-020-00392-5MaRDI QIDQ824285zbMATH OpenOpenAlexFDO

Authors Ming Xu, Cheng-Chao Huang, Yuan Feng

Publication date 15 December 2021

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-020-00392-5

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Quantum algorithms and complexity in the theory of computing (68Q12)

Recommendations

• Reachability Probabilities of Quantum Markov Chains
• Exogenous quantum Markov chains and reachability analysis
• Reachability analysis of quantum Markov decision processes
• Reachability analysis of recursive quantum Markov chains
• Reachability and termination analysis of concurrent quantum programs

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 3576139 (Why is no real title available?)
• scientific article; zbMATH DE number 1242264 (Why is no real title available?)
• scientific article; zbMATH DE number 745844 (Why is no real title available?)
• scientific article; zbMATH DE number 7088727 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A new algorithm for the computation of canonical forms of matrices over fields
• Algorithms in real algebraic geometry
• Automata-based CSL model checking
• Model checking \(\omega\)-regular properties for quantum Markov chains
• Model checking quantum Markov chains
• Model-checking continuous-time Markov chains
• Model-checking linear-time properties of quantum systems
• Multiphase until formulas over Markov reward models: an algebraic approach
• Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
• Reachability Probabilities of Quantum Markov Chains
• Reachability analysis of recursive quantum Markov chains
• Specification and verification of quantum protocols
• States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
• Symbolic termination analysis of solvable loops

Cited in

(6)

• Criteria for reachability of quantum states
• Exogenous quantum Markov chains and reachability analysis
• Model checking QCTL plus on quantum Markov chains
• Reachability Probabilities of Quantum Markov Chains
• Open quantum random walks and quantum Markov chains on trees. II: The recurrence
• scientific article; zbMATH DE number 7730615 (Why is no real title available?)

This page was built for publication: Measuring the constrained reachability in quantum Markov chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q824285)