Detail publikace
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)
HAVLENA Vojtěch a LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report). Ithaca, 2021. Dostupné z: https://arxiv.org/abs/2010.07834
Název česky
Snižování úrovní: efektivní komplementace Büchiho automatů založená na úrovních (technická zpráva)
Typ
technická zpráva
Jazyk
angličtina
Autoři
URL
Abstrakt
Tento článek vylepšuje Scheweho komplementační proceduru pro Büchiho automaty pomocí zavedení tzv. super-těsných běhů.
Rok
2021
Strany
1-28
Místo
Ithaca, US
BibTeX
@TECHREPORT{FITPUB12535, author = "Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l", title = "Reducing (to) the Ranks: Efficient Rank-based B{\"{u}}chi Automata Complementation (Technical Report)", pages = "1--28", year = 2021, location = "Ithaca, US", language = "english", url = "https://www.fit.vut.cz/research/publication/12535" }