@article{meyer2022lcss,
  title={Reachability analysis of neural networks using mixed monotonicity},
  author={Meyer, Pierre-Jean},
  journal={IEEE Control Systems Letters},
  year={2022},
  volume={6},
  pages={3068--3073}
}