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