IIT Publications Search

Pubblicazioni
2024
Street C., Warsame Y., Mansouri M., Klauck M., Henkel C., Lampacrescia M., Palmas M., Lange R., Ghiorzi E., Tacchella A., Azrou R., Lallement R., Morelli M., Chen G., Wallis D., Barnagozzi S., Rosa S., Randazzo M., Faraci S., Natale L.
Towards a Verifiable Toolchain for Robotics
AAAI Symposium Series, vol. 4, (no. 1), pp. 398-403
DOI 10.1609/aaaiss.v4i1.31823 Conference Paper Conference