On Lexicographic Proof Rules for Probabilistic Termination.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Jiri Zrevcky, Dorde Zikelic

Browse the full FM paper archive.