Reference:

Tomas Brazdil, Vojtech Forejt, Jan Kretinsky, and Antonin Kucera. The satisfiability problem for probabilistic CTL. In LICS, pages 391–402, 2008.

Suggested BibTeX entry:

@inproceedings{DBLP:conflicsBrazdilFKK08,
    author = {Tomas Brazdil and Vojtech Forejt and Jan Kretinsky and Antonin Kucera},
    booktitle = {LICS},
    pages = {391-402},
    title = {The Satisfiability Problem for Probabilistic {CTL}},
    year = {2008}
}