Detail publikace

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

HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. Modular Mix-and-Match Complementation of Büchi Automata. In Proceedings of TACAS'23. Lecture Notes in Computer Science. Paris: Springer Verlag, 2023. p. 249-270. ISSN: 0302-9743.
Název česky
Modulární komplementace Büchiho automatů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Šmahlíková Barbora, Ing. (VZ VERIFIT)
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
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
EID Scopus
2-s2.0-85161426192
BibTeX 
@inproceedings{BUT182441,
  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",
  booktitle="Proceedings of TACAS'23",
  year="2023",
  journal="Lecture Notes in Computer Science",
  number="13993",
  pages="249--270",
  publisher="Springer Verlag",
  address="Paris",
  issn="0302-9743"
}
Nahoru