Pages that link to "Item:Q394340"
From MaRDI portal
The following pages link to Model checking quantum Markov chains (Q394340):
Displayed 8 items.
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← 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)
- 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)