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