2 papers
cs.LO2026
Kofola 1.0: A Modular Approach to Ï-Regular Complementation and Inclusion Checking (Technical Report)
Ondrej Alexaj, VojtÄch Havlena, Lukáš HolÃk +3
We present Kofola, an efficient tool for complementation and inclusion checking of Büchi automata, two central tasks in automata-theoretic verification with applications in model…
cs.FL2026
Complementing Emerson-Lei Elevator Automata (Technical Report)
Ondrej Alexaj, VojtÄch Havlena, OndÅej Lengál +2
Büchi elevator automata naturally appear in several areas of formal methods as a structural expressibly-equivalent subclass of Büchi automata where every strongly connected compo…