Basak Sakçak

Limits of Specifiability for Sensor-Based Robotic Planning Tasks

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 time-extended behavior. This paper explores the limits of what sorts of tasks are specifiable, examining how the precise g