# Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

> Research article (Journal of the ACM, 2018) · cited 85× · AI/ML

**Wikidata**: [openalex:W2893610333](https://www.wikidata.org/wiki/openalex:W2893610333)  
**Source**: https://4ort.xyz/entity/weakest-precondition-reasoning-for-expected-runtimes-of-randomized-algorithms