Detail publikace

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

HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Ithaca: Cornell University Library, 2023. p. 1-37.
Název česky
Modulární komplementace Büchiho automatů (technická zpráva)
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Šmahlíková Barbora, Ing. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
LI, Y.
TURRINI, A.
Klíčová slova

Büchi automata, omega regular languages, complementation

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
DOI
10.48550/arxiv.2301.01890
BibTeX 
@techreport{BUT182452,
  author="HAVLENA, V. and ŠMAHLÍKOVÁ, B. and LENGÁL, O. and LI, Y. and TURRINI, A.",
  title="Modular Mix-and-Match Complementation of Büchi Automata (Technical Report)",
  year="2023",
  publisher="Cornell University Library",
  address="Ithaca",
  pages="1--37",
  doi="10.48550/arxiv.2301.01890"
}
Nahoru