One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.

Javier Esparza, Jan Kretnsk, Salomon Sickert

Browse the full LICS paper archive.