Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes

Aaron Bohy, Véronique Bruyère, Jean-François Raskin, Nathalie Bertrand 0001. Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. Acta Informatica, 54(6):545-587, 2017. [doi]

Abstract

Abstract is missing.