79 citations · 87 across the 10 of their papers we have counts for
1 paper · 2 filters
Ezio Bartocci, Laura Kovács, Miroslav Stankovič
Prob-solvable loops are probabilistic programs with polynomial assignments over random variables and parametrised distributions, for which the full automation of moment-based invar…