Decision Problems for Interval Markov Chains

Abstract

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

Topics

  • Presentations referencing similar topics