Detail publikace

Complementing Büchi Automata with Ranker

HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker. In: Proceedings of the 34th International Conference on Computer Aided Verification. Haifa: Springer Verlag, 2022, s. 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
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Šmahlíková Barbora, Bc. (FIT VUT)
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
Konference
34th International Conference on Computer Aided Verification, Haifa, IL
ISBN
978-3-031-13187-5
Vydavatel
Springer Verlag
Místo
Haifa, IL
DOI
10.1007/978-3-031-13188-2_10
UT WoS
000870310500010
EID Scopus
2-s2.0-85133529643
BibTeX 
@INPROCEEDINGS{FITPUB12767,
   author = "Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l and Barbora \v{S}mahl\'{i}kov\'{a}",
   title = "Complementing B{\"{u}}chi Automata with Ranker",
   pages = "188--201",
   booktitle = "Proceedings of the 34th International Conference on Computer Aided Verification",
   journal = "Lecture Notes in Computer Science",
   number = 13372,
   year = 2022,
   location = "Haifa, IL",
   publisher = "Springer Verlag",
   ISBN = "978-3-031-13187-5",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-031-13188-2\_10",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12767"
}
Nahoru