Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.

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

Browse the full ESOP paper archive.