New Approaches for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee

Browse the full APLAS paper archive.