Limits of specifiability for sensor-based robotic planning tasks

Basak Sakcak, Dylan A. Shell, Jason M. O'Kane

There is now a large body of techniques, many based on formal methods, for describing and realizing complex robotics tasks, including those involving a variety of rich goals and ti…