Verifying Temporal Properties of Finite-State Probabilistic Programs

Costas Courcoubetis, Mihalis Yannakakis

Browse the full FOCS paper archive.