Probabilistic Temporal Logics for Finite and Bounded Models

Probabilistic Temporal Logics for Finite and Bounded Models Sergiu Hart Micha Sharir 1-13 conf/stoc/STOC16 1984 STOC db/conf/stoc/stoc84.html#HartS84