Lukáš Holík
- 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ý, Chocholatý, David, Tomáš Fiedor +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
- Nested Antichains for WS1S
2015/01/15 by Tomáš Fiedor, Fiedor, Tomas, Lukáš Holík +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Lazy Automata Techniques for WS1S
2017/01/23 by Tomáš Fiedor, Fiedor, Tomáš, Lukáš Holík +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