Decision Problems for Interval Markov Chains


Interval Markov Chains (IMC) 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 study complexity of several problems for this abstraction, that stem from compositional modeling methodologies. In particular we close the complexity gap for… (More)
DOI: 10.1007/978-3-642-21254-3_21


  • Presentations referencing similar topics