K. Chatterjee, M. Chmelik, and U. Topcu, “Sensor Synthesis for POMDPs with Reachability Objectives”, ICAPS, vol. 28, no. 1, pp. 47-55, Jun. 2018.