Can I read Verifying Quantum Circuits With Level-Synchronized Tree Automata on EtoBox?
Verifying Quantum Circuits With Level-Synchronized Tree Automata by 蕭行鋪 is a document available to read on EtoBox.
What is Verifying Quantum Circuits With Level-Synchronized Tree Automata about?
The document presents a new verification method for quantum circuits using level-synchronized tree automata (LSTAs), which enhance classical tree automata by allowing disjunctive branching and cycles. This approach significantly improves the efficiency of symbolic verification, reducing the complexity of gate operations from exponential to quadratic, and enables parameterized verification for families of circuits. The authors implemented their method in a C++ tool and demonstrated its effectiveness against
- Author
- 蕭行鋪
- Language
- EN