Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

(2018) [Journal Article]

Journal of the ACM : JACM
Volume: 65
Issue: 5
Page(s): 30:1-30:68

Authors

Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Olmedo, Federico