How can we interact with physical systems, in particular robots, at a high level? How can we formalize high level goals in a user friendly way? How can we automatically create controllers for such systems and how can we guarantee these systems will behave correctly?

To address these challenges, our research builds on ideas and techniques from different disciplines such as control, hybrid systems, logic, verification, model checking, planning and computational linguistics.

Current Projects

Completed Projects