Detail publikace

Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)

HAVLENA, V.; LENGÁL, O. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report). Ithaca: 2021. p. 1-28.
Název česky
Snižování úrovní: efektivní komplementace Büchiho automatů založená na úrovních (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)
URL
Klíčová slova

Büchi automata,rank-based complementation,super-tight runs

Abstrakt

Tento článek vylepšuje Scheweho komplementační proceduru pro Büchiho automaty pomocí zavedení tzv. super-těsných běhů.

Rok
2021
Strany
1–28
Místo
Ithaca
BibTeX 
@techreport{BUT175802,
  author="Vojtěch {Havlena} and Ondřej {Lengál}",
  title="Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)",
  year="2021",
  address="Ithaca",
  pages="1--28",
  url="https://arxiv.org/abs/2010.07834"
}
Nahoru