Reachability analysis of probabilistic systems by successive refinements. (2001)

by Pedro R D’Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
Venue:In Int’l Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM-PROBMIV),