Pages that link to "Item:Q5111649"

The following pages link to Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649):

Displaying 3 items.

• 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)