1 Search Results for "Delahaye, Benoît"

Document
DOI: 10.4230/OASIcs.SynCoP.2015.17
Consistency for Parametric Interval Markov Chains

Authors: Benoît Delahaye

Published in: OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015)

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.
Cite as

Benoît Delahaye. Consistency for Parametric Interval Markov Chains. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 17-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{delahaye:OASIcs.SynCoP.2015.17,
  author =	{Delahaye, Beno\^{i}t},
  title =	{{Consistency for Parametric Interval Markov Chains}},
  booktitle =	{2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)},
  pages =	{17--32},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-82-8},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{44},
  editor =	{Andr\'{e}, \'{E}tienne and Frehse, Goran},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.17},
  URN =		{urn:nbn:de:0030-drops-56079},
  doi =		{10.4230/OASIcs.SynCoP.2015.17},
  annote =	{Keywords: Specification, Parameters, Markov Chains, Consistency}
}
  • Refine by Author
  • 1 Delahaye, Benoît

  • Refine by Classification

  • Refine by Keyword
  • 1 Consistency
  • 1 Markov Chains
  • 1 Parameters
  • 1 Specification

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2015

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact