Efficient Probabilistic Model Checking of Systems with Ranged Probabilities

Khalil Ghorbal
Parasara Sridhar Duggirala
Vineet Kahlon
Aarti Gupta
RP (2012), pp. 107-120

Abstract