"A Probabilistic Temporal Logic That Can Model Reasoning about Evidence."

Dragan Doder et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics