Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties |
scientific article |
Statements
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (English)
0 references
28 September 2015
0 references
quantum Markov chains
0 references
hybrid systems
0 references
quantum automata
0 references
equivalence
0 references
model checking
0 references
linear-time property
0 references
0 references
