Detail publikace

Simulations in Rank-Based Büchi Automata Complementation

CHEN, Y.; HAVLENA, V.; LENGÁL, O. Simulations in Rank-Based Büchi Automata Complementation. In Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science. Nusa Dua: Springer International Publishing, 2019. p. 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
anglicky
Autoři
Chen Yu-Fang
Havlena Vojtěch, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Klíčová slova

Büchi automata, termination analysis, simulation, complementation, rank-based complementation

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)
Vydavatel
Springer International Publishing
Místo
Nusa Dua
DOI
10.1007/978-3-030-34175-6_23
UT WoS
000611530200023
EID Scopus
2-s2.0-85076694793
BibTeX 
@inproceedings{BUT161460,
  author="Yu-Fang {Chen} and Vojtěch {Havlena} and Ondřej {Lengál}",
  title="Simulations in Rank-Based Büchi Automata Complementation",
  booktitle="Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS)",
  year="2019",
  journal="Lecture Notes in Computer Science",
  number="11893",
  pages="447--467",
  publisher="Springer International Publishing",
  address="Nusa Dua",
  doi="10.1007/978-3-030-34175-6\{_}23",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/12051/"
}
Nahoru