@conference {412, title = {Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics}, booktitle = {32nd Symposium on Theoretical Aspects of Computer Science}, year = {2015}, publisher = {Schloss Dagstuhl}, organization = {Schloss Dagstuhl}, keywords = {Automata, Games, Temporal Logic}, author = {Pablo F. Castro and Cecilia Kilmurray and Nir Piterman} }