"Model-Checking Markov Chains in the Presence of Uncertainties."

Koushik Sen, Mahesh Viswanathan, Gul Agha (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics