Synthesis of surveillance strategies via belief abstraction

Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu

We study the problem of synthesizing a controller for a robot with a surveillance objective, that is, the robot is required to maintain knowledge of the location of a moving, possi…