Ondřej Lengál
- 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
- Fair Termination for Parameterized Probabilistic Concurrent Systems\n (Technical Report)
2017/10/29 by Ondřej Lengál, Anthony W. Lin, Lengal, Ondrej +5 · 2 citations
Computer Science · #Distributed #Distributed systems and fault tolerance #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 #Model-Driven Software Engineering Techniques #Parallel #and Cluster Computing (cs.DC)
- 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, Abdulla, Parosh Aziz, Yo-Ga Chen +15 · 1 voice · 5 citations
Computer Science · #cs.LO #cs.FL
- Register automata with linear arithmetic
2017/04/13 by Yu‐Fang Chen, Ondřej Lengál, Chen, Yu-Fang +5 · 2 citations
Computer Science · #F.1.1 #F.4.3 #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 #semigroups and automata theory
- 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, Kai-Min Chung, Chen, Yu-Fang +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