Detail publikace

Complementing Büchi Automata with Ranker (Technical Report)

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Complementing Büchi Automata with Ranker (Technical Report). Ithaca: Cornell University Library, 2022. p. 0-0.
Název česky
Komplementace Büchiho automatů pomocí Rankeru (technická zpráva)
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Šmahlíková Barbora, Ing. (UITS)
URL
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
16
Vydavatel
Cornell University Library
Místo
Ithaca
DOI
10.48550/arXiv.2206.01946
BibTeX 
@techreport{BUT178225,
  author="Vojtěch {Havlena} and Ondřej {Lengál} and Barbora {Šmahlíková}",
  title="Complementing Büchi Automata with Ranker (Technical Report)",
  year="2022",
  publisher="Cornell University Library",
  address="Ithaca",
  pages="16",
  doi="10.48550/arXiv.2206.01946",
  url="https://arxiv.org/abs/2206.01946"
}
Nahoru