Pages that link to "Item:Q2842118"
From MaRDI portal
The following pages link to Reachability Probabilities of Quantum Markov Chains (Q2842118):
Displaying 20 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Robustness of quantum Markov chains (Q934579) (← links)
- Stopping times for quantum Markov chains (Q1194478) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Decomposition of quantum Markov chains and its applications (Q1747488) (← links)
- Strassen's theorem for quantum couplings (Q2007728) (← links)
- An algebraic method to fidelity-based model checking over quantum Markov chains (Q2084946) (← links)
- An improved algorithm for computing hitting probabilities of quantum walks (Q2116548) (← links)
- Model checking QCTL plus on quantum Markov chains (Q2123051) (← links)
- Equivalence checking of quantum finite-state machines (Q2220441) (← links)
- Quantum approximate Markov chains are thermal (Q2314432) (← links)
- Reachable set of open quantum dynamics for a single spin in Markovian environment (Q2445161) (← links)
- Markov chains with doubly stochastic transition matrices and application to a sequence of non-selective quantum measurements (Q2669400) (← links)
- RECONSTRUCTION THEOREM FOR STATIONARY MONOTONE QUANTUM MARKOV PROCESSES (Q3224983) (← links)
- The Quantum Complexity of Markov Chain Monte Carlo (Q3507468) (← links)
- Criteria for reachability of quantum states (Q4468153) (← links)
- Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)
- Jump probabilities in the non-Markovian quantum jump method (Q5305417) (← links)
- Quantum temporal logic and reachability problems of matrix semigroups (Q6614888) (← links)
