Probabilistic propositional temporal logic (1986)

by S Hart, M Sharir
Venue:Information and Control