"Probabilistic Automata for Safety LTL Specifications."

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