@misc{indiciaef5d3b3595ba4,
  title = {Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes},
  author = {Christian Schilling and Marcelo Forets and Sebastian Guadalupe},
  year = {2022},
  doi = {10.1609/aaai.v36i7.20790},
  url = {https://arxiv.org/abs/2112.09197},
  note = {Source identifier: 2112.09197}
}