Sensor Synthesis for POMDPs with Reachability Objectives

Open in new window