Probabilistic Verification by Tableaux

Amir Pnueli, Lenore D. Zuck

Browse the full LICS paper archive.