Detail publikace

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation. In Proceedings of TACAS'22. Lecture Notes in Computer Science. Munich: Springer Verlag, 2022. p. 118-136. ISBN: 978-3-030-99526-3. ISSN: 0302-9743.
Název česky
Nebe není hranice: těsnější omezení na úrovně pro výtahové automaty při komplementaci Büchiho automatů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Šmahlíková Barbora, Ing. (UITS)
Klíčová slova

Büchi automata, complementation, elevator automata, model checking

Abstrakt

Tento článek zavádí několik heuristik pro rank-based komplementaci Büchiho automatů, včetně jejich klasifikace jako výtahových automatů.

Rok
2022
Strany
118–136
Časopis
Lecture Notes in Computer Science, č. 13244, ISSN 0302-9743
Sborník
Proceedings of TACAS'22
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'22 (TACAS'22), Munich, DE
ISBN
978-3-030-99526-3
Vydavatel
Springer Verlag
Místo
Munich
DOI
10.1007/978-3-030-99527-0_7
UT WoS
000782398900007
EID Scopus
2-s2.0-85128745829
BibTeX 
@inproceedings{BUT175859,
  author="Vojtěch {Havlena} and Ondřej {Lengál} and Barbora {Šmahlíková}",
  title="Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation",
  booktitle="Proceedings of TACAS'22",
  year="2022",
  journal="Lecture Notes in Computer Science",
  number="13244",
  pages="118--136",
  publisher="Springer Verlag",
  address="Munich",
  doi="10.1007/978-3-030-99527-0\{_}7",
  isbn="978-3-030-99526-3",
  issn="0302-9743"
}
Nahoru