Formal design


Visible to the public Dependable, Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments


This project focuses on fundamental theory studies so to enable a scalable, correct-by-construction formal design of multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws.