Automatic Verification of Real-Time Systems with Discrete Probability Distribuitions (0)

by M Kwiatkowska, G Norman, R Segala, J Sproston
Venue:Proc. AMAST Workshop on Real-Time and Probabilistic Systems, Lecture