Measuring the constrained reachability in quantum Markov chains

DOI10.1007/S00236-020-00392-5zbMATH Open1483.68140OpenAlexW3097011986MaRDI QIDQ824285FDOQ824285

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

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

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)

Cites Work

• Symbolic termination analysis of solvable loops
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithms in real algebraic geometry
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reachability analysis of recursive quantum Markov chains
• Model checking quantum Markov chains
• Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
• Model checking \(\omega\)-regular properties for quantum Markov chains
• Title not available (Why is that?)
• Model-checking continuous-time Markov chains
• Specification and verification of quantum protocols
• Reachability Probabilities of Quantum Markov Chains
• Model-checking linear-time properties of quantum systems
• A new algorithm for the computation of canonical forms of matrices over fields
• Automata-based CSL model checking
• Multiphase until formulas over Markov reward models: an algebraic approach

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
• Title not available (Why is that?)

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)