Barbora Šmahlíková | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Yong Li
127 publications
Ondrej Lengal
16 publications
Vojtech Havlena
11 publications
Andrea Turrini
5 publications

research

∙ 01/05/2023

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report)

Complementation of nondeterministic Büchi automata (BAs) is an important...

0 Vojtech Havlena, et al. ∙

research

∙ 06/04/2022

Complementing Büchi Automata with Ranker (Technical Report)

We present the tool Ranker for complementing Büchi automata (BAs). Ranke...

0 Vojtech Havlena, et al. ∙

research

∙ 10/19/2021

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

We propose several heuristics for mitigating one of the main causes of c...

0 Vojtech Havlena, et al. ∙