Model repair for probabilistic systems
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability