Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs

Vahid Hashemi, Hassan Hatefi, Jan Krčál

Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from state s…