Detail publikace

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation

HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation. In: Proceedings of TACAS'22. Munich: Springer Verlag, 2022, s. 118-136. ISBN 978-3-030-99526-3. ISSN 0302-9743.
Název česky
Nebe není hranice: těsnější omezení na úrovně pro výtahové automaty při komplementaci Büchiho 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. (FIT VUT)
Abstrakt

Tento článek zavádí několik heuristik pro rank-based komplementaci Büchiho automatů, včetně jejich klasifikace jako výtahových automatů.

Rok
2022
Strany
118-136
Časopis
Lecture Notes in Computer Science, č. 13244, ISSN 0302-9743
Sborník
Proceedings of TACAS'22
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'22 (TACAS'22), Munich, DE
ISBN
978-3-030-99526-3
Vydavatel
Springer Verlag
Místo
Munich, DE
DOI
10.1007/978-3-030-99527-0_7
UT WoS
000782398900007
EID Scopus
2-s2.0-85128745829
BibTeX 
@INPROCEEDINGS{FITPUB12644,
   author = "Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l and Barbora \v{S}mahl\'{i}kov\'{a}",
   title = "Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation",
   pages = "118--136",
   booktitle = "Proceedings of TACAS'22",
   journal = "Lecture Notes in Computer Science",
   number = 13244,
   year = 2022,
   location = "Munich, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-030-99526-3",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-030-99527-0\_7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12644"
}
Nahoru