Browsing by Author "Kaminski, Benjamin"
Now showing items 1-1 of 1
-
Kaminski, Benjamin; Katoen, Joost; Matheja, Christoph; Olmedo, Federico (Association for Computing Machinery, 2018)This article presents a wp–style calculus for obtaining bounds on the expected runtime of randomized algorithms. Its application includes determining the (possibly infinite) expected termination time of a randomized algorithm ...