Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1380432,
author = {Blahoudek, František and DuretandLutz, Alexandre and Klokočka, Mikuláš and Křetínský, Mojmír and Strejček, Jan},
address = {Neuveden},
booktitle = {Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017)},
doi = {http://dx.doi.org/10.29007/k5nl},
editor = {Thomas Eiter and David Sands},
keywords = {semi deterministic automata; ltl to automata translation; omega automata},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Neuveden},
pages = {356-367},
publisher = {EasyChair},
title = {Seminator: A Tool for Semi-Determinization of Omega-Automata},
url = {http://easychair.org/publications/paper/Seminator_A_Tool_for_Semi-Determinization_of_Omega-Automata},
year = {2017}
}
TY - JOUR
ID - 1380432
AU - Blahoudek, František - Duret-Lutz, Alexandre - Klokočka, Mikuláš - Křetínský, Mojmír - Strejček, Jan
PY - 2017
TI - Seminator: A Tool for Semi-Determinization of Omega-Automata
PB - EasyChair
CY - Neuveden
KW - semi deterministic automata
KW - ltl to automata translation
KW - omega automata
UR - http://easychair.org/publications/paper/Seminator_A_Tool_for_Semi-Determinization_of_Omega-Automata
N2 - We present a tool that transforms nondeterministic omega-automata to semi-deterministic omega-automata. The tool Seminator accepts transition-based generalized Büchi automata (TGBA) as an input and produces automata with two kinds of semi-determinism. The implemented procedure performs degeneralization and semi-determinization simultaneously and employs several other optimizations. We experimentally evaluate Seminator in the context of LTL to semi-deterministic automata translation.
ER -
BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. Online. In Thomas Eiter and David Sands. \textit{Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017)}. Neuveden: EasyChair, 2017. p.~356-367. ISSN~2398-7340. Available from: https://dx.doi.org/10.29007/k5nl. [citováno 2024-04-23]
|
