Detail publikace

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report)

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 (Technical Report). Ithaca, 2022. Dostupné z: https://arxiv.org/abs/2110.10187
Název česky
Nebe není hranice: těsnější omezení na úrovně pro výtahové automaty při komplementaci Büchiho automatů (technická zpráva)
Typ
technická zpráva
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)
URL
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
27
Místo
Ithaca, US
BibTeX 
@TECHREPORT{FITPUB12669,
   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 (Technical Report)",
   pages = 27,
   year = 2022,
   location = "Ithaca, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12669"
}
Nahoru