Automatic Verification of Liveness Properties of Randomized Systems.

Christel Baier, Marta Z. Kwiatkowska

Browse the full PODC paper archive.