Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion, and Xavier Thirioux. “A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations”. Acta Cybernetica00 (April 1, 2024). Accessed May 19, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4359.