Project

Theoretical Analysis of Robotic Planning

We are investigating various theoretical properties of robotic planning frameworks such as decidability and optimality.