Pages that link to "Item:Q498408"
From MaRDI portal
The following pages link to Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408):
Displayed 7 items.
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← 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)
- Quantum hidden Markov models based on transition operation matrices (Q2412643) (← links)
- Trace Refinement in Labelled Markov Decision Processes (Q2811347) (← links)
- Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)