Automatic Verification of Probabilistic Concurrent Finite-State Programs

Moshe Y. Vardi

Browse the full FOCS paper archive.