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. 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. |
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.
|