TY  - RPRT
TI  - Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
AU  - Ben Batten
AU  - Yang Zheng
AU  - Alessandro De Palma
AU  - Panagiotis Kouvaros
AU  - Alessio Lomuscio
PY  - 2024
UR  - https://arxiv.org/abs/2408.13140
ID  - 2408.13140
ER  -