Abstract domains for constraint programming with differential equations

Ghiles Ziat; Olivier Mullier; Julien Alexandre Dit Sandretto; Christophe Garion; Alexandre Chapoutot; Xavier Thirioux

doi:10.1145/3427762.3429453

Conference papers

Abstract domains for constraint programming with differential equations

Ghiles Ziat ¹ Olivier Mullier ² Julien Alexandre Dit Sandretto ² Christophe Garion ¹ Alexandre Chapoutot ² Xavier Thirioux ^{3, 1}

1 DISC - Département d'Ingénierie des Systèmes Complexes

2 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes

3 ISAE-SUPAERO - Institut Supérieur de l'Aéronautique et de l'Espace

Document type :

Conference papers

Domain :

Computer Science [cs] / Modeling and Simulation

Computer Science [cs] / Data Structures and Algorithms [cs.DS]

Complete list of metadata

https://hal-ensta-paris.archives-ouvertes.fr//hal-03068260
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, December 15, 2020 - 3:51:30 PM
Last modification on : Wednesday, March 17, 2021 - 9:52:02 AM

Abstract domains for constraint programming with differential equations

Identifiers

Collections

Citation

Export

Metrics

16

Abstract domains for constraint programming with differential equations

Identifiers

Collections

Citation

Export

Share

Metrics

16