Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes | Read Paper on Bytez