Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.

Pablo F. Castro, Cecilia Kilmurray, Nir Piterman

Browse the full STACS paper archive.