2023

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report), zpráva odborná, 2023
Autoři: HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A.

2022

Complementing Büchi Automata with Ranker (Technical Report), zpráva odborná, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report), zpráva odborná, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.