The Finite Satisfiability Problem for PCTL is Undecidable.

Miroslav Chodil, Antonn Kucera

Browse the full LICS paper archive.