Detail publikace

Complementing Büchi Automata with Ranker

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Complementing Büchi Automata with Ranker. In Proceedings of the 34th International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Haifa: Springer Verlag, 2022. p. 188-201. ISBN: 978-3-031-13187-5. ISSN: 0302-9743.
Název česky
Komplementace Büchiho automatů pomocí Rankeru
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, rank-based complementation, omega-regular languages

Abstrakt

Článek popisuje nástroj Ranker, včetně optimalizací a heuristik, které používá, a ukazuje, že dle experimentálního porovnání s dalšími nástroji vrací Ranker ve většině případů menší komplement.

Rok
2022
Strany
188–201
Časopis
Lecture Notes in Computer Science, č. 13372, ISSN 0302-9743
Sborník
Proceedings of the 34th International Conference on Computer Aided Verification
ISBN
978-3-031-13187-5
Vydavatel
Springer Verlag
Místo
Haifa
DOI
10.1007/978-3-031-13188-2_10
UT WoS
000870310500010
EID Scopus
2-s2.0-85133529643
BibTeX 
@inproceedings{BUT178204,
  author="Vojtěch {Havlena} and Ondřej {Lengál} and Barbora {Šmahlíková}",
  title="Complementing Büchi Automata with Ranker",
  booktitle="Proceedings of the 34th International Conference on Computer Aided Verification",
  year="2022",
  journal="Lecture Notes in Computer Science",
  number="13372",
  pages="188--201",
  publisher="Springer Verlag",
  address="Haifa",
  doi="10.1007/978-3-031-13188-2\{_}10",
  isbn="978-3-031-13187-5",
  issn="0302-9743"
}
Nahoru