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
Authors
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Olmedo, Federico
Identifier
- DOI: 10.1145/3208102
- REPORT NUMBER: RWTH-CONV-236468