Pages that link to "Item:Q5111649"
From MaRDI portal
The following pages link to Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649):
Displaying 5 items.
- Model checking quantum Markov chains (Q394340) (← links)
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← 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)
- (Q6134257) (← links)