DMCA

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

by Aaron Bohy