"Probabilistic model checking of perturbed MDPs with applications to cloud ..."

Yamilet R. Serrano Llerena, Guoxin Su, David S. Rosenblum (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics