Detail publikace

Simulations in Rank-Based Büchi Automata Complementation

CHEN Yu-Fang, HAVLENA Vojtěch a LENGÁL Ondřej. Simulations in Rank-Based Büchi Automata Complementation. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Nusa Dua: Springer International Publishing, 2019, s. 447-467. ISSN 0302-9743.
Název česky
Použití simulace při komplementaci Büchiho automatů založené na úrovních
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Chen Yu-Fang (ASIN)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Tento článek optimalizuje komplementaci Büchiho automatů zaleženou na úrovních (rank-based) pomocí opožděné (delayed) a přímé (direct) simulace.

Rok
2019
Strany
447-467
Časopis
Lecture Notes in Computer Science, č. 11893, ISSN 0302-9743
Sborník
Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS)
Konference
17th Asian Symposium on Programming Languages and Systems -- APLAS'19, Bali, ID
Vydavatel
Springer International Publishing
Místo
Nusa Dua, ID
DOI
10.1007/978-3-030-34175-6_23
UT WoS
000611530200023
EID Scopus
2-s2.0-85076694793
BibTeX 
@INPROCEEDINGS{FITPUB12051,
   author = "Yu-Fang Chen and Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l",
   title = "Simulations in Rank-Based B{\"{u}}chi Automata Complementation",
   pages = "447--467",
   booktitle = "Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS)",
   journal = "Lecture Notes in Computer Science",
   number = 11893,
   year = 2019,
   location = "Nusa Dua, ID",
   publisher = "Springer International Publishing",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-030-34175-6\_23",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12051"
}
Nahoru