Alexandre dit Sandretto, Julien, Alexandre Chapoutot, Christophe Garion, and Xavier Thirioux. “A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations: A Collision Detection Application”. Acta Cybernetica 26, no. 4 (April 1, 2024): 755–774. Accessed June 21, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4359.