@inproceedings{rauh:hal-03494430,
  TITLE = {{Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations}},
  AUTHOR = {Rauh, Andreas and Bourgois, Auguste and Jaulin, Luc and Kersten, Julia},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03494430},
  BOOKTITLE = {{2021 International Conference on Control, Automation and Diagnosis (ICCAD)}},
  ADDRESS = {Grenoble, France},
  PUBLISHER = {{IEEE}},
  PAGES = {1-6},
  YEAR = {2021},
  MONTH = Nov,
  DOI = {10.1109/ICCAD52417.2021.9638755},
  KEYWORDS = {Ellipsoidal enclosure techniques ; Interval analysis ; Robustness analysis ; Uncertain systems ; Verified simulation of initial value problems},
  PDF = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03494430/file/ICCAD_2021_paper_58.pdf},
  HAL_ID = {hal-03494430},
  HAL_VERSION = {v1},
}