Patrick Henriksen

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Efficient Search

Query Refinement

Top Venues

Publications

Francesco Leofante, Patrick Henriksen, Alessio Lomuscio
Verification-friendly Networks: the Case for Parametric ReLUs. IJCNN (2023)
Patrick Henriksen, Alessio Lomuscio
Robust Training of Neural Networks against Bias Field Perturbations. AAAI (2023)
Patrick Henriksen, Francesco Leofante, Alessio Lomuscio
Repairing misclassifications in neural networks using limited data. SAC (2022)
Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio
Bias Field Robustness Verification of Large Neural Image Classifiers. BMVC (2021)
Patrick Henriksen, Alessio Lomuscio
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. IJCAI (2021)
Patrick Henriksen, Alessio R. Lomuscio
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. ECAI (2020)