@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}
}