C. Street, “Towards a Verifiable Toolchain for Robotics”, AAAI-SS, vol. 4, no. 1, pp. 398–403, Nov. 2024.