Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic

Browse the full CAV paper archive.