Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. - Patrick Henriksen; Alessio R. Lomuscio (ECAI, 2020)

Bias Field Robustness Verification of Large Neural Image Classifiers. - Patrick Henriksen; Kerstin Hammernik; Daniel Rueckert; Alessio Lomuscio (BMVC, 2021)

DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. - Patrick Henriksen; Alessio Lomuscio (IJCAI, 2021)

Repairing misclassifications in neural networks using limited data. - Patrick Henriksen; Francesco Leofante; Alessio Lomuscio (SAC, 2022)

Robust Training of Neural Networks against Bias Field Perturbations. - Patrick Henriksen; Alessio Lomuscio (AAAI, 2023)

Verification-friendly Networks: the Case for Parametric ReLUs. - Francesco Leofante; Patrick Henriksen; Alessio Lomuscio (IJCNN, 2023)

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. - Panagiotis Kouvaros; Benedikt Brückner; Patrick Henriksen; Alessio Lomuscio (AAAI, 2025)