Annelot Bosman

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

Matthias König, Annelot Bosman, Holger H. Hoos, Jan N. van Rijn
Critically Assessing the State of the Art in CPU-based Local Robustness Verification. SafeAI@AAAI (2023)
Annelot Bosman, Anna L. Münz, Holger H. Hoos, Jan N. van Rijn
A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions. SAIV (2014)