Alexandre dit Sandretto, Julien, Alexandre Chapoutot, Christophe Garion, and Xavier Thirioux. 2024. “A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations: A Collision Detection Application”. Acta Cybernetica 26 (4):755-74. https://doi.org/10.14232/actacyb.3007711.