Chatterjee, K.; Chmelik, M.; Topcu, U. Sensor Synthesis for POMDPs With Reachability Objectives. ICAPS 2018, 28, 47-55.