@InProceedings{   baarir.15.lpar,
  Author        = "Baarir, Souheib and Duret-Lutz, Alexandre",
  Abstract      = "We describe a tool that inputs a deterministic $\omega$-automaton with any acceptance condition, and synthesizes an equivalent $\omega$-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal $\omega$-automata equivalent to given properties, for different acceptance conditions.",
  BookTitle     = "Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15)",
  date-added    = "2015-12-05 14:50:55 +0000",
  date-modified = "2015-12-05 14:50:55 +0000",
  Month         = "November",
  Note          = "To appear.",
  Pages         = "???--???",
  Publisher     = "Springer",
  Title         = "{SAT}-based Minimization of Deterministic $\omega$-Automata",
  Volume        = "???",
  Year          = "2015",
  File          = "BibDesk/inproceedings/SAT-based Minimization of Deterministic $\omega$-Automata - Baarir, Duret-Lutz (0).pdf"
}

@InProceedings{ baarir.15.lpar, Author = "Baarir, Souheib and Duret-Lutz, Alexandre", Abstract = "We describe a tool that inputs a deterministic $\omega$-automaton with any acceptance condition, and synthesizes an equivalent $\omega$-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal $\omega$-automata equivalent to given properties, for different acceptance conditions.", BookTitle = "Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15)", date-added = "2015-12-05 14:50:55 +0000", date-modified = "2015-12-05 14:50:55 +0000", Month = "November", Note = "To appear.", Pages = "???--???", Publisher = "Springer", Title = "{SAT}-based Minimization of Deterministic $\omega$-Automata", Volume = "???", Year = "2015", File = "BibDesk/inproceedings/SAT-based Minimization of Deterministic $\omega$-Automata - Baarir, Duret-Lutz (0).pdf" }