Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
Kaminski, Benjamin Lucien (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Matheja, Christoph (Corresponding author); Olmedo, Federico (Corresponding author)
(2018)
Journal Article
In: Journal of the ACM : JACM
Volume: 65
Issue: 5
Page(s)/Article-Nr.: 30:1-30:68
Identifier
- DOI: 10.1145/3208102
- RWTH PUBLICATIONS: RWTH-CONV-236468