Robot modelling and programming
Robots come with different hardware and software platforms. These robots often have to work together despite their differences.
The main focus in our research group is to develop frameworks for modeling and programming of heterogeneous robot groups which have to collaborate and coordinate tasks in order to achieve a given goal. In order to ensure safe and proper functionality we will employ simulation, verification and formal methods.