@misc{indiciae2aee5437c2da,
  title = {Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation},
  author = {Ben Batten and Yang Zheng and Alessandro De Palma and Panagiotis Kouvaros and Alessio Lomuscio},
  year = {2024},
  url = {https://arxiv.org/abs/2408.13140},
  note = {Source identifier: 2408.13140}
}