Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta. Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. Alain Finkel; Jérôme Leroux; Igor Potapov. RP 2012 - Reachability Problems - 6th Internati
HAL Archives-Ouvertes,
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta.