Reachability analysis of uncertain systems using bounded-parameter Markov decision processes

From MaRDI portal