Probabilistic Loop Synthesis from Sequences of Moments

Miroslav Stankovic, Ezio Bartocci