@misc{indiciae10ce48a01010,
  title = {Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes},
  author = {Niklas Kochdumper and Christian Schilling and Matthias Althoff and Stanley Bak},
  year = {2023},
  doi = {10.1007/978-3-031-33170-1\_2},
  url = {https://arxiv.org/abs/2207.02715},
  note = {Source identifier: 2207.02715}
}