Detail publikace

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

HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora a TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Ithaca: Cornell University Library, 2023.
Název česky
Modulární komplementace Büchiho automatů (technická zpráva)
Typ
technická zpráva
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, Bc. (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
1-37
Vydavatel
Cornell University Library
Místo
Ithaca, US
DOI
10.48550/arxiv.2301.01890
BibTeX 
@TECHREPORT{FITPUB12951,
   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 (Technical Report)",
   pages = "1--37",
   year = 2023,
   location = "Ithaca, US",
   publisher = "Cornell University Library",
   doi = "10.48550/arxiv.2301.01890",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12951"
}
Nahoru