@inproceedings{meyer2020ifacReachability,
  title={Interval Reachability Analysis using Second-Order Sensitivity},
  author={Meyer, Pierre-Jean and Arcak, Murat},
  booktitle={Proceedings of the $21^{st}$ IFAC World Congress},
  pages={1851--1856},
  year={2020},
}