Sangiovanni-Vincentelli: It usually works: The Temporal Logic of Stochastic Systems (1995)

by A Aziz, V Singhal, F Balarin, R Brayton, A
Venue:Proc. CAV’95, LNCS 939