Street, Charlie, et al. “Towards a Verifiable Toolchain for Robotics”. Proceedings of the AAAI Symposium Series, vol. 4, no. 1, Nov. 2024, pp. 398-03, doi:10.1609/aaaiss.v4i1.31823.