"Limit Deterministic and Probabilistic Automata for LTL ∖ GU."

Dileep Kini, Mahesh Viswanathan (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics