Detail publikace

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report)

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report). Ithaca: 2022. p. 0-0.
Název česky
Nebe není hranice: těsnější omezení na úrovně pro výtahové automaty při komplementaci Büchiho automatů (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, 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
27
Místo
Ithaca
BibTeX 
@techreport{BUT177117,
  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 (Technical Report)",
  year="2022",
  address="Ithaca",
  pages="27",
  url="https://arxiv.org/abs/2110.10187"
}
Nahoru