Clara Fischer, Diego Navarro, Amelie Laurent. (2026). Velocity Interface Contracts: Specifications and Verification for Legged Robot Middleware. Transactions on Intelligent Robotics and Autonomous Systems, vol. 1, no. 2. https://doi.org/10.5803/kagg.2608.00010