Probabilistic Temporal Logics via the Modal Mu-Calculus.

Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer

Browse the full FOSSACS paper archive.