Soudjani, S., & Majumdar, R. (2017). Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. In HSCC'17 (pp. 45-54). New York, NY: ACM. doi:10.1145/3049797.3049827.