Model-Checking Markov Chains in the Presence of Uncertainties.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Browse the full TACAS paper archive.