Pages that link to "Item:Q394340"
From MaRDI portal
The following pages link to Model checking quantum Markov chains (Q394340):
Displayed 24 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)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- (Q5015189) (← links)
- Open Quantum Random Walks and Quantum Markov chains on Trees I: Phase transitions (Q5043746) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)
- Symbolic Bisimulation for Quantum Processes (Q5169970) (← links)
- Exponential decay of matrix Φ-entropies on Markov semigroups with applications to dynamical evolutions of quantum ensembles (Q5366998) (← 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)
- Mirrors and memory in quantum automata (Q6160780) (← links)
- Tree-homogeneous quantum Markov chains (Q6163519) (← links)