Smoothed Model Checking for Uncertain Continuous Time Markov Chains

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this satisfaction probability is a sm…