Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. - Ben Batten; Panagiotis Kouvaros; Alessio Lomuscio; Yang Zheng 001 (IJCAI, 2021)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. - Ben Batten; Mehran Hosseini; Alessio Lomuscio (AISTATS, 2024)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. - Ben Batten; Yang Zheng 001; Alessandro De Palma; Panagiotis Kouvaros; Alessio Lomuscio (ECAI, 2024)

Improving Weather-based OOD Generalisation in Lidar-based Object Detection Models via Adversarial Training. - Ben Batten; Alessio Lomuscio (CVPR Workshops, 2025)