Detail publikace

Complementation of Emerson-Lei Automata

ŠMAHLÍKOVÁ, B.; HAVLENA, V.; LENGÁL, O. Complementation of Emerson-Lei Automata. Proceedings of FoSSaCS'25. Lecture Notes in Computer Science. Springer Verlag, 2025. ISSN: 0302-9743.
Název česky
Komplementace Emerson-Lei Automatů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Šmahlíková Barbora, Ing. (VZ VERIFIT)
Havlena Vojtěch, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Klíčová slova

Emerson-Lei automata, TELA, complementation, Büchi automata, rank-based
complementation, Rabin automata, parity automata

Abstrakt

Tento článek zavádí nové konstrukce pro komplementaci podtříd Emerson-Lei
automatů pomocí modifikace rank-based komplementace Büchiho automatů. 

Rok
2025 (v tisku)
Strany
19
Časopis
Lecture Notes in Computer Science, ISSN 0302-9743
Sborník
Proceedings of FoSSaCS'25
Konference
28th International Conference on Foundations of Software Science and Computation Structures --- FoSSaCS'25, Hamilton, CA
Vydavatel
Springer Verlag
BibTeX 
@inproceedings{BUT196842,
  author="Barbora {Šmahlíková} and Vojtěch {Havlena} and Ondřej {Lengál}",
  title="Complementation of Emerson-Lei Automata",
  booktitle="Proceedings of FoSSaCS'25",
  year="2025",
  journal="Lecture Notes in Computer Science",
  pages="19",
  publisher="Springer Verlag",
  issn="0302-9743"
}
Nahoru