A Probabilistic Dynamic Logic

Yishai A. Feldman, David Harel

Browse the full STOC paper archive.