42 citations · 115 across the 8 of their papers we have counts for
1 paper · 2 filters
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti +1
When analyzing probabilistic computations, a powerful approach is to first find a martingale---an expression on the program variables whose expectation remains invariant---and then…