Probabilistic symbolic model checking with prism: A hybrid approach (2002)

by M Kwiatkowska, G Norman, D Parker
Venue:In Proc. TACAS’02, volume 2280. LNCS