Reachability in parametric Interval Markov Chains using constraints

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01917092
Contributor : Benoît Delahaye <>
Submitted on : Friday, November 9, 2018 - 10:06:18 AM
Last modification on : Friday, April 12, 2019 - 10:18:10 AM

Identifiers

Citation

Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, et al.. Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science, Elsevier, 2018, 747, pp.48 - 74. ⟨10.1016/j.tcs.2018.06.016⟩. ⟨hal-01917092⟩

Share

Metrics

Record views

74