Benoit Delahaye, Didier Lime, Laure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. 17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, Saint Petersburg, Forida, United States. 17th In
HAL Archives-Ouvertes,
Benoit Delahaye, Didier Lime, Laure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains.