Street, C.; Warsame, Y.; Mansouri, M.; Klauck, M.; Henkel, C.; Lampacrescia, M.; Palmas, M.; Lange, R.; Ghiorzi, E.; Tacchella, A. Towards a Verifiable Toolchain for Robotics. AAAI-SS 2024, 4, 398-403.