Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion and Xavier Thirioux 2024. A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. Acta Cybernetica. (Apr. 2024). DOI:https://doi.org/10.14232/actacyb.300771.