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 2024Show all

2 papers · 1 filter

cs.LO2024★ 1 cited

Complementation of Emerson-Lei Automata (Technical Report)

Vojtěch Havlena, Ondřej Lengál, Barbora Šmahlíková

We give new constructions for complementing subclasses of Emerson-Lei automata using modifications of rank-based Büchi automata complementation. In particular, we propose a special…

cs.LO2024★ 1 cited

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)

Peter Habermehl, Vojtěch Havlena, Michal Hečko +2

We present a new angle on solving quantified linear integer arithmetic based on combining the automata-based approach, where numbers are understood as bitvectors, with ideas from (…