Model repair for probabilistic systems
Stochastic Model Checking