Compositional Reasoning for Interval Markov Decision Processes

Vahid Hashemi, Holger Hermanns, Andrea Turrini

Model checking probabilistic CTL properties of Markov decision processes with convex uncertainties has been recently investigated by Puggelli et al. Such model checking algorithms…