Parameter Synthesis for Parametric Interval Markov Chains.

Benot Delahaye, Didier Lime, Laure Petrucci

Browse the full VMCAI paper archive.