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

1 paper · 1 filter

cs.LO2021

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report)

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

We propose several heuristics for mitigating one of the main causes of combinatorial explosion in rank-based complementation of Büchi automata (BAs): unnecessarily high bounds on t…