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 |  |
| 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)