Pages that link to "Item:Q394340"

The following pages link to Model checking quantum Markov chains (Q394340):

Displaying 17 items.

• Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408) (← links)
• Toward automatic verification of quantum programs (Q667515) (← links)
• Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
• Model checking computation tree logic over finite lattices (Q896917) (← links)
• Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
• Quantum Markov chains on comb graphs: Ising model (Q2041557) (← links)
• An algebraic method to fidelity-based model checking over quantum Markov chains (Q2084946) (← links)
• Model checking QCTL plus on quantum Markov chains (Q2123051) (← links)
• On quotients of formal power series (Q2672254) (← links)
• Recurrence of a class of quantum Markov chains on trees (Q2680045) (← links)
• Temporal normal form for Linear Temporal Logic formulae1 (Q2988557) (← links)
• Towards Quantum Programs Verification: From Quipper Circuits to QPMC (Q3186602) (← links)
• Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)
• On stopping rules for tree-indexed quantum Markov chains (Q6082698) (← links)
• Open quantum random walks and quantum Markov chains on trees. II: The recurrence (Q6098299) (← links)
• Tree-homogeneous quantum Markov chains (Q6163519) (← links)