The consortium includes experts that cover the fields of robotics, software engineering and formal methods with a strong academic and industrial background.
|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|
|United Technologies Research Center||Industry (avionics, automation) Design and verification of embedded systems|
Contacts: For additional information please contact Lorenzo Natale (lorenzo.natale AT iit.it)