Detail publikace

Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation

HAVLENA Vojtěch a LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation. In: 32nd International Conference on Concurrency Theory (CONCUR 2021). Paris: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021, s. 1-19. ISSN 1868-8969. Dostupné z: https://doi.org/10.4230/LIPIcs.CONCUR.2021.2
Název česky
Snižování úrovní: efektivní komplementace Büchiho automatů založená na úrovních
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)
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-19
Časopis
Leibniz International Proceedings in Informatics (LIPIcs), roč. 203, č. 8, ISSN 1868-8969
Sborník
32nd International Conference on Concurrency Theory (CONCUR 2021)
Konference
32nd International Conference on Concurrency Theory -- CONCUR'21, Paris, FR
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Paris, FR
DOI
10.4230/LIPIcs.CONCUR.2021.2
EID Scopus
2-s2.0-85115322907
BibTeX 
@INPROCEEDINGS{FITPUB12532,
   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",
   pages = "1--19",
   booktitle = "32nd International Conference on Concurrency Theory (CONCUR 2021)",
   journal = "Leibniz International Proceedings in Informatics (LIPIcs)",
   volume = 203,
   number = 8,
   year = 2021,
   location = "Paris, FR",
   publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
   ISSN = "1868-8969",
   doi = "10.4230/LIPIcs.CONCUR.2021.2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12532"
}
Nahoru