Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk).

Ezio Bartocci

Browse the full CONCUR paper archive.