Automatic Verification of Probabilistic Free Choice.

Lenore D. Zuck, Amir Pnueli, Yonit Kesten

Browse the full VMCAI paper archive.