Trusted Machine Learning for Probabilistic Models
PARAM: A model checker for parametric Markov models