Reachability in parametric Interval Markov Chains using constraints

Anicet Bart, BenoƮt Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, Charlotte Truchet. Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science, 747:48-74, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.