Matteo Palmas
-
Dottorando
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
Sezione interscuola politecnica del DIBRIS
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
Ricerca
Pubblicazioni IRIS
-
Towards a Verifiable Toolchain for Robotics
Anno: 2024