I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - The Satisfiability Problem for Probabilistic CTL


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:

    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}

This work is not available online here.