Patrick Henriksen

According to our database, Patrick Henriksen authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Verification-friendly Networks: the Case for Parametric ReLUs.

Francesco Leofante, Patrick Henriksen, Alessio Lomuscio

Proceedings of the International Joint Conference on Neural Networks, 2023

Robust Training of Neural Networks against Bias Field Perturbations.

Patrick Henriksen, Alessio Lomuscio

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Repairing misclassifications in neural networks using limited data.

Patrick Henriksen, Francesco Leofante, Alessio Lomuscio

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis.

Patrick Henriksen, Alessio Lomuscio

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Bias Field Robustness Verification of Large Neural Image Classifiers.

Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search.

Patrick Henriksen, Alessio R. Lomuscio

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020