Lenore D. Zuck, Amir Pnueli, Yonit Kesten. Automatic Verification of Probabilistic Free Choice. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 208-224, Springer, 2002. [doi]
Abstract is missing.