Pages that link to "Item:Q1627964"
From MaRDI portal
The following pages link to Reachability analysis of quantum Markov decision processes (Q1627964):
Displaying 9 items.
- Model checking quantum Markov chains (Q394340) (← links)
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Decomposition of quantum Markov chains and its applications (Q1747488) (← links)
- Model checking QCTL plus on quantum Markov chains (Q2123051) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- (Un)decidable Problems about Reachability of Quantum Systems (Q3190137) (← links)
- Criteria for reachability of quantum states (Q4468153) (← links)
- (Q6134257) (← links)
- Quantum temporal logic and reachability problems of matrix semigroups (Q6614888) (← links)