Automatic verification of real-time systems with discrete probability distributions. (2002)

by M Z Kwiatkowska, G Norman, R Segala, J Sproston
Venue:Theor. Comput. Sci.,