I am happy to announce that the following papers has been accepted at the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) to be held at the University of the South Pacific (Suva, Fiji) on 24–28 November 2015.
SAT-based Minimization of Deterministic ω-Automata
Souheib Baarir¹, Alexandre Duret-Lutz¹
¹LRDE, EPITA, Le Kremlin-Bicêtre, France
https://www.lrde.epita.fr/wiki/Publications/baarir.15.lpar
Abstract:
We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exist. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance conditions.