Automatic veri of real-time systems with discrete probability distributions. Theoretical Computer Science (2002)

by M Kwiatkowska, G Norman, R Segala, J Sproston