DelBugV: Delta-Debugging Neural Network Verifiers. - Raya Elsaleh; Guy Katz (FMCAD, 2023)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing. - Yizhak Yisrael Elboher; Raya Elsaleh; Omri Isac; Mélanie Ducoffe; Audrey Galametz; Guillaume Povéda; Ryma Boumazouza; Noémie Cohen; Guy Katz (CoRR, 2024)