TY  - RPRT
TI  - Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report)
AU  - Vojtěch Havlena
AU  - Ondřej Lengál
AU  - Barbora Šmahlíková
PY  - 2022
UR  - https://arxiv.org/abs/2110.10187
ID  - 2110.10187
ER  -