Expectation Invariants for Probabilistic Program Loops as Fixed Points.

Aleksandar Chakarov, Sriram Sankaranarayanan

Browse the full SAS paper archive.