Andreas Rauh, Auguste Bourgois, Luc Jaulin, Julia Kersten. Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations. In International Conference on Control, Automation and Diagnosis, ICCAD 2021, Grenoble, France, November 3-5, 2021. pages 1-6, IEEE, 2021. [doi]
Abstract is missing.