Chatterjee, K., Chmelik, M. and Topcu, U. (2018) “Sensor Synthesis for POMDPs with Reachability Objectives”, Proceedings of the International Conference on Automated Planning and Scheduling, 28(1), pp. 47-55. doi: 10.1609/icaps.v28i1.13875.