Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee +1
The paper identifies flaws in a previous modular rule for proving almost‑sure termination of probabilistic programs and introduces a sound modular rule based on descent supermartin…