Skip to Main content Skip to Navigation
Journal articles

Reachability in parametric Interval Markov Chains using constraints

Complete list of metadata

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, January 8, 2021 - 11:22:05 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

183