Sandretto Julien Alexandre dit; Chapoutot Alexandre; Garion Christophe; Thirioux Xavier: A constraint programming approach for polytopic simulation of ordinary differential equations : a collision detection application. In: Acta cybernetica, (26) 4. pp. 755-774. (2024)