43 citations · 110 across the 11 of their papers we have counts for
1 paper · 1 filter
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…