Havlena, Vojtěch
- 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
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
2024/03/27 by Peter Habermehl, Habermehl, Peter, Vojtěch Havlena +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