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 ...