Probabalistic Temporal Logics for Finite and Bounded (1984)

by S Hart, M Sharir
Venue:Models, 16th ACM STOC