Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar. Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. In Goran Frehse, Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. pages 45-54, ACM, 2017. [doi]
Abstract is missing.