Mirrors and memory in quantum automata
From MaRDI portal
Publication:6160780
DOI10.1007/978-3-031-16336-4_18zbMath1522.68282MaRDI QIDQ6160780
Publication date: 2 June 2023
Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model checking quantum Markov chains
- Quantum finite automata: advances on Bertoni's ideas
- On relation between linear temporal logic and quantum finite automata
- Quantum automata and quantum grammars
- Unary probabilistic and quantum automata on promise problems
- Two-way and one-way quantum and classical automata with advice for online minimization problems
- Hierarchy and equivalence of multi-letter quantum finite automata
- Distribution of values of bounded generalized polynomials
- Algebraic results on quantum automata
- Characterizations of 1-Way Quantum Finite Automata
- Towards Quantum Programs Verification: From Quipper Circuits to QPMC
- Handbook of Model Checking
- The Probabilistic Model Checking Landscape
- Acceptance Ambiguity for Quantum Automata
- Multi-letter Reversible and Quantum Finite Automata
- Probabilistic automata
- Analogies and differences between quantum and stochastic automata
- Process algebra for performance evaluation
- An overview of quantum cellular automata
This page was built for publication: Mirrors and memory in quantum automata