Reference:

Tomas Brazdil, Vojtech Forejt, Jan Kretinsky, and Antonin Kucera. The satisfiability problem for probabilistic CTL. Technical report FIMU-RS-2008-03, Faculty of Informatics, Masaryk University, Brno, 2008.

Suggested BibTeX entry:

@techreport{DBLP:conflicsBrazdilFKK08-techrep,
    author = {Tomas Brazdil and Vojtech Forejt and Jan Kretinsky and Antonin Kucera},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2008-03},
    title = {The Satisfiability Problem for Probabilistic {CTL}},
    type = {Technical report},
    year = {2008}
}