34 citations · 53 across the 5 of their papers we have counts for
1 paper · 2 filters
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…