J. Alexandre dit Sandretto, A. Chapoutot, C. Garion, and X. Thirioux, “A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations: A Collision Detection Application”, Acta Cybern, vol. 26, no. 4, pp. 755–774, Apr. 2024.