Probabilistic Temporal Logics for Finite and Bounded Models

Sergiu Hart, Micha Sharir

Browse the full STOC paper archive.