We are investigating various theoretical properties of robotic planning frameworks such as decidability and optimality.
If you would like to contact us about our work, please scroll down to the people section and click on one of the group leads' people pages, where you can reach out to them directly.