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
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
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"
}
Nahoru