Detail publikace

Complementation of Emerson-Lei Automata

HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementation of Emerson-Lei Automata. In: Proceedings of FoSSaCS'25. Springer Verlag, 2025, s. 19. ISSN 0302-9743.
Název česky
Komplementace Emerson-Lei Automatů
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)
Šmahlíková Barbora, Ing. (UITS FIT VUT)
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{FITPUB13380,
   author = "Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l and Barbora \v{S}mahl\'{i}kov\'{a}",
   title = "Complementation of Emerson-Lei Automata",
   pages = 19,
   booktitle = "Proceedings of FoSSaCS'25",
   journal = "Lecture Notes in Computer Science",
   year = 2025,
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13380"
}
Nahoru