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

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

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

• A new algorithm for the computation of canonical forms of matrices over fields
• Algorithms in real algebraic geometry
• Automata-based CSL model checking
• 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 5585443 (Why is no real title available?)
• Model checking
• Model checking -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 analysis of recursive quantum Markov chains
• Reachability Probabilities of 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

(7)

• Model checking QCTL plus on quantum Markov chains
• Reachability Probabilities of Quantum Markov Chains
• Criteria for reachability of quantum states
• Exogenous quantum Markov chains and reachability analysis
• 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?)
• A sample-driven solving procedure for the repeated reachability of quantum continuous-time Markov chains

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)