Detail publikace

Complementing Büchi Automata with Ranker (Technical Report)

HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker (Technical Report). Ithaca: Cornell University Library, 2022. Dostupné z: https://arxiv.org/abs/2206.01946
Název česky
Komplementace Büchiho automatů pomocí Rankeru (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

Článek popisuje nástroj Ranker, včetně optimalizací a heuristik, které používá, a ukazuje, že dle experimentálního porovnání s dalšími nástroji vrací Ranker ve většině případů menší komplement.

Rok
2022
Strany
16
Vydavatel
Cornell University Library
Místo
Ithaca, US
DOI
BibTeX
@TECHREPORT{FITPUB12768,
   author = "Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l and Barbora \v{S}mahl\'{i}kov\'{a}",
   title = "Complementing B{\"{u}}chi Automata with Ranker (Technical Report)",
   pages = 16,
   year = 2022,
   location = "Ithaca, US",
   publisher = "Cornell University Library",
   doi = "10.48550/arXiv.2206.01946",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12768"
}
Nahoru