Learn with SAT to Minimize Büchi Automata - Stephan Barth 001; Martin Hofmann 001 (GandALF, 2012)

Deciding MSO over w-Words by means of Finite Automata. - Stephan Barth 001 (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Deciding Monadic Second Order Logic over omega ω -Words by Specialized Finite Automata. - Stephan Barth 001 (IFM, 2016)