Detail publikace

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

HAVLENA, V.; LENGÁL, O. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation. In 32nd International Conference on Concurrency Theory (CONCUR 2021). Leibniz International Proceedings in Informatics, LIPIcs. Paris: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021. p. 1-19. ISSN: 1868-8969.
Název česky
Snižování úrovní: efektivní komplementace Büchiho automatů založená na úrovních
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)
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–19
Časopis
Leibniz International Proceedings in Informatics, LIPIcs, roč. 203, č. 8, ISSN 1868-8969
Sborník
32nd International Conference on Concurrency Theory (CONCUR 2021)
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Paris
DOI
10.4230/LIPIcs.CONCUR.2021.2
EID Scopus
2-s2.0-85115322907
BibTeX 
@inproceedings{BUT175801,
  author="Vojtěch {Havlena} and Ondřej {Lengál}",
  title="Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation",
  booktitle="32nd International Conference on Concurrency Theory (CONCUR 2021)",
  year="2021",
  journal="Leibniz International Proceedings in Informatics, LIPIcs",
  volume="203",
  number="8",
  pages="1--19",
  publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address="Paris",
  doi="10.4230/LIPIcs.CONCUR.2021.2",
  issn="1868-8969",
  url="https://doi.org/10.4230/LIPIcs.CONCUR.2021.2"
}
Nahoru