Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models.
Probabilistic reachability for parametric Markov models