"From LTL to deterministic automata - A safraless compositional approach."

Javier Esparza, Jan Kretínský, Salomon Sickert (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics