Detail publikace

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

HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora a TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata. In: Proceedings of TACAS'23. Paris: Springer Verlag, 2023, s. 249-270. ISSN 0302-9743.
Název česky
Modulární komplementace Büchiho automatů (technická zpráva)
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Li Yong (UCAS)
Šmahlíková Barbora, Ing. (FIT VUT)
Turrini Andrea (UCAS)
Abstrakt

Tento článek zavádí modulární proceduru pro komplementaci Büchiho automatů, která umožňuje kombinovat jiné procedury, specializované pro konkrétní podtřídy těchto automatů, dohromady.

Rok
2023
Strany
249-270
Časopis
Lecture Notes in Computer Science, č. 13993, ISSN 0302-9743
Sborník
Proceedings of TACAS'23
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'23, Paris, FR
Vydavatel
Springer Verlag
Místo
Paris, FR
BibTeX
@INPROCEEDINGS{FITPUB12921,
   author = "Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l and Yong Li and Barbora \v{S}mahl\'{i}kov\'{a} and Andrea Turrini",
   title = "Modular Mix-and-Match Complementation of B{\"{u}}chi Automata",
   pages = "249--270",
   booktitle = "Proceedings of TACAS'23",
   journal = "Lecture Notes in Computer Science",
   number = 13993,
   year = 2023,
   location = "Paris, FR",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12921"
}
Nahoru