Sensor selection for detecting deviations from a planned itinerary

Hazhar Rahmani,Dylan A. Shell,Jason M. O’Kane,Hazhar Rahmani,Dylan A. Shell,Jason M. O’Kane

Suppose an agent asserts that it will move through an environment in some way. When the agent executes its motion, how does one verify the claim? The problem arises in a range of contexts including validating safety claims about robot behavior, applications in security and surveillance, and for both the conception and the (physical) design and logistics of scientific experiments. Given a set of fe...