Efficient Probabilistic Model Checking of Systems with Ranged Probabilities

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

Abstract

Research Areas