Stochastic invariants for probabilistic termination.

Krishnendu Chatterjee, Petr Novotn, Dorde Zikelic

Browse the full POPL paper archive.