Skip to Main content Skip to Navigation
Conference papers

Consistency for Parametric Interval Markov Chains

Benoit Delahaye 1 
1 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Interval Markov Chains (IMCs) are the base of a classic probabilistic specification theory by Larsen and Jonsson in 1991. They are also a popular abstraction for probabilistic systems. In this paper we introduce and study an extension of Interval Markov Chains with parametric intervals. In particular, we investigate the consistency problem for such models and propose an efficient solution for the subclass of parametric IMCs with local parameters only. We also show that this problem is still decidable for parametric IMCs with global parameters, although more complex in this case.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01140752
Contributor : Benoît Delahaye Connect in order to contact the contributor
Submitted on : Thursday, April 9, 2015 - 1:51:47 PM
Last modification on : Wednesday, April 27, 2022 - 3:53:58 AM

Identifiers

  • HAL Id : hal-01140752, version 1

Citation

Benoit Delahaye. Consistency for Parametric Interval Markov Chains. 2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom. ⟨hal-01140752⟩

Share

Metrics

Record views

72