Barbora Smahlíková

According to our database, Barbora Smahlíková authored at least 7 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini

CoRR, 2023

Modular Mix-and-Match Complementation of Büchi Automata.

Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Complementing Büchi Automata with Ranker (Technical Report).

Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková

CoRR, 2022

Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation.

Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Complementing Büchi Automata with Ranker.

Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

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

Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková

CoRR, 2021

Deciding S1S: Down the Rabbit Hole and Through the Looking Glass.

Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková

Proceedings of the Networked Systems - 9th International Conference, 2021