The project aims to develop abstractions and general solutions for autonomous planning and coordination in networks of cyber--physical systems. In particular, the following challenges were identified in order to achieve the above objective: