Simon Jantsch, David Müller 0001, Christel Baier, Joachim Klein 0001. From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. In Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, editors, Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Volume 11800 of Lecture Notes in Computer Science, pages 262-279, Springer, 2019. [doi]
Abstract is missing.