Henriksen, Patrick

3 publications

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

AAAI 2023 Robust Training of Neural Networks Against Bias Field Perturbations Patrick Henriksen, Alessio Lomuscio

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