# Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs

> Research article (Proceedings of the ACM on Programming Languages, 2017) · cited 66× · AI/ML

**Wikidata**: [openalex:W2755806184](https://www.wikidata.org/wiki/openalex:W2755806184)  
**Source**: https://4ort.xyz/entity/lexicographic-ranking-supermartingales-an-efficient-approach-to-termination-of-probabilistic-programs