BRÁZDIL, Tomáš, Vojtěch FOREJT,
Jan KŘETÍNSKÝ and
Antonín KUČERA. The Satisfiability Problem for Probabilistic CTL. In
23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California: IEEE Computer Society, 2008, p. 391-402, 10 pp. ISBN 978-0-7695-3183-0.