Street, Charlie, Yazz Warsame, Masoumeh Mansouri, Michaela Klauck, Christian Henkel, Marco Lampacrescia, Matteo Palmas, et al. 2024. “Towards a Verifiable Toolchain for Robotics”. Proceedings of the AAAI Symposium Series 4 (1):398-403. https://doi.org/10.1609/aaaiss.v4i1.31823.