Ostatní výsledky
-
2023
A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report), zpráva odborná, 2023
Autoři: HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A.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. -
2021
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report), zpráva odborná, 2021
Autoři: HAVLENA, V.; LENGÁL, O. -
2020
Learning Probabilistic Automata in the Context of IEC 104, zpráva odborná, 2020
Autoři: HAVLENA, V.; HOLÍK, L.; MATOUŠEK, P. -
2019
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report), zpráva odborná, 2019
Autoři: HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T.