[Lrde Annonce] publication: Seminator: A Tool for Semi-Determinization of Omega-Automata

I am happy to announce that the following paper has been accepted at the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21) to be held in Maun, Botswana, on 7-12th May 2017. Seminator: A Tool for Semi-Determinization of Omega-Automata František Blahoudek¹, Alexandre Duret-Lutz², Mikuláš Klokočka¹, Mojmír Křetínský¹, Jan Strejček¹ ¹Faculty of Informatics, Masaryk University, Brno, Czech Republic ²LRDE, EPITA, Le Kremlin-Bicêtre, France https://www.lrde.epita.fr/wiki/Publications/blahoudek.17.lpar Abstract: We present a tool that transforms nondeterministic ω-automata to semi-deterministic ω-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. -- Alexandre Duret-Lutz