PARAM: A Model Checker for Parametric Markov Models

Ernst Moritz Hahn‚ Holger Hermanns‚ Björn Wachter and Lijun Zhang