Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (extended version)

Aaron Bohy, Véronique Bruyère, Jean-François Raskin

When treating Markov decision processes (MDPs) with large state spaces, using explicit representations quickly becomes unfeasible. Lately, Wimmer et al. have proposed a so-called s…