Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Constraint-Based Framework for Reasoning with Differential Equations. In Çetin Kaya Koç, editor, Cyber-Physical Systems Security. pages 23-41, Springer, 2018. [doi]
Abstract is missing.