From LTL to Unambiguous Bchi Automata via Disambiguation of Alternating Automata.

Simon Jantsch, David Mller, Christel Baier, Joachim Klein

Browse the full FM paper archive.