Vojtěch Havlena

Other Results

• 2023

  A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report), report, 2023
  Authors: HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A.

  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.

• 2021

  Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report), report, 2021
  Authors: HAVLENA, V.; LENGÁL, O.

• 2020

  Learning Probabilistic Automata in the Context of IEC 104, report, 2020
  Authors: HAVLENA, V.; HOLÍK, L.; MATOUŠEK, P.

• 2019

  Automata Terms in a Lazy WSkS Decision Procedure (Technical Report), report, 2019
  Authors: HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T.