Chatterjee K, Chmelik M, Topcu U. Sensor Synthesis for POMDPs with Reachability Objectives. ICAPS [Internet]. 2018 Jun. 15 [cited 2026 May 26];28(1):47-55. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13875