The Satisfiability Problem for Probabilistic CTL.

Toms Brzdil, Vojtech Forejt, Jan Kretnsk, Antonn Kucera

Browse the full LICS paper archive.