Raya Elsaleh

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Hybrid Intelligent

Multilayer Perceptron

Bp Neural Network

Top Venues

Publications

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