IIT Publications Search

Publications
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