The consortium includes experts that cover the fields of robotics, software engineering and formal methods with a strong academic and industrial background.
| Institution | Profile | |
|---|---|---|
| Istituto Italiano di Tecnologia | Academia Robot development (iCub and R1) Software middleware Perception and control |  |
| Università degli studi di Genova | Academia Formal verification adaptive control systems |  |
Contacts: For additional information please contact Armando Tacchella (armando.tacchella AT unige.it)