13 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
Damián Barsotti, Nicolás Wolovick
The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automati…