Verifying probabilistic procedural programs (2004)

by J Esparza, K Etessami
Venue:In Proc. FSTTCS '04