47 citations · 183 across the 23 of their papers we have counts for
1 paper · 2 filters
Benjamin Lucien Kaminski, Joost-Pieter Katoen
We present a weakest-precondition-style calculus for reasoning about the expected values (pre-expectations) of \emph{mixed-sign unbounded} random variables after execution of a pro…