Download PDFOpen PDF in browserSeminator: A Tool for Semi-Determinization of Omega-Automata12 pages•Published: May 4, 2017AbstractWe present a tool that transforms nondeterministic ω-automata to semi-deterministic ω-automata. The tool Seminator accepts transition-based generalized Bu ̈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.Keyphrases: ltl to automata translation, omega automata, semi deterministic automata In: Thomas Eiter and David Sands (editors). LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 46, pages 356-367.
|