Lengál, Ondřej
- An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)
2023/01/18 by Yu‐Fang Chen, Kai-Min Chung, Chen, Yu-Fang +9 · 7 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture
- PAC Learning-Based Verification and Model Synthesis
2015/11/03 by Yu‐Fang Chen, Chiao Hsieh, Chen, Yu-Fang +11 · 2 citations
Computer Science · #Machine Learning and Algorithms #Software Testing and Debugging Techniques #Formal Methods in Verification
- Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
2024/10/24 by Parosh Aziz Abdulla, Yo-Ga Chen, Abdulla, Parosh Aziz +15 · 1 voice · 5 citations
Computer Science · #cs.LO #cs.FL
- Mata, a Fast and Simple Finite Automata Library (Technical Report)
2023/10/16 by David Chocholatý, Tomáš Fiedor, Chocholatý, David +11 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Natural Language Processing Techniques #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
2024/11/14 by Yu‐Fang Chen, Chen, Yu-Fang, Kai-Min Chung +11 · 3 citations
Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Radiation Effects in Electronics #Quantum Information and Cryptography
- Lazy Automata Techniques for WS1S
2017/01/23 by Tomáš Fiedor, Lukáš Holík, Fiedor, Tomáš +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
2024/03/27 by Peter Habermehl, Vojtěch Havlena, Habermehl, Peter +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Numerical Methods and Algorithms #Polynomial and algebraic computation