Probabilistic Termination: Soundness, Completeness, and Compositionality.

Luis Mara Ferrer Fioriti, Holger Hermanns

Browse the full POPL paper archive.