activity
20162026
most citedReducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)

3 citations · 11 across the 17 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

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 compone…

cs.FL2026★ 1 cited

String Solving with Stabilization and Transducers (Technical Report)

David Chocholatý, Vojtěch Havlena, Lukáš Holík +2

We generalize an efficient automata-based approach to string constraint solving, the stabilization-based method behind the solver Z3-Noodler, to support relational constraints repr…