Consistency for Parametric Interval Markov Chains

Benoît Delahaye, Marc Herbstritt
<span title="2015-11-26">2015</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zux6exk4dngkvdsegmoi3co7ai" style="color: black;">International Workshop on Synthesis of Complex Parameters</a> </i> &nbsp;
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
more &raquo; ... dable for parametric IMCs with global parameters, although more complex in this case.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.syncop.2015.17">doi:10.4230/oasics.syncop.2015.17</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/syncop/Delahaye15.html">dblp:conf/syncop/Delahaye15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ybluqeeg5fb3hltsnghryz6aay">fatcat:ybluqeeg5fb3hltsnghryz6aay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319211812/http://pagesperso.lina.univ-nantes.fr/~delahaye-b/rapports/SYNCOP15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/51/d2514a352d271b7d48685770aee32d6249a30c6b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.syncop.2015.17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>