Critically Assessing the State of the Art in CPU-based Local Robustness Verification. - Matthias König 005; Annelot W. Bosman; Holger H. Hoos; Jan N. van Rijn (SafeAI@AAAI, 2023)

A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions. - Annelot W. Bosman; Anna L. Münz; Holger H. Hoos; Jan N. van Rijn (SAIV, 2024)

Critically Assessing the State of the Art in Neural Network Verification. - Matthias König 005; Annelot W. Bosman; Holger H. Hoos; Jan N. van Rijn (J. Mach. Learn. Res., 2024)

Robustness Distributions in Neural Network Verification. - Annelot W. Bosman; Aaron Berger; Holger H. Hoos; Jan N. van Rijn (J. Artif. Intell. Res., 2025)