Barbora Šmahlíková

Other Results

• 2023

  Modular Mix-and-Match Complementation of Büchi Automata (Technical Report), report, 2023
  Authors: HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A.

• 2022

  Complementing Büchi Automata with Ranker (Technical Report), report, 2022
  Authors: 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), report, 2022
  Authors: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.