"Stochastic invariants for probabilistic termination."

Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics