Annelot Bosman

According to our database, Annelot Bosman authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Critically Assessing the State of the Art in CPU-based Local Robustness Verification.

Matthias König, Annelot Bosman, Holger H. Hoos, Jan N. van Rijn

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023