Search Results for author: Raya Elsaleh

Found 2 papers, 0 papers with code

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing

no code implementations8 Jan 2024 Yizhak Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz

As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot workload and in improving operational safety.

DelBugV: Delta-Debugging Neural Network Verifiers

no code implementations29 May 2023 Raya Elsaleh, Guy Katz

We were able to simplify many of the verification queries that trigger these faulty behaviors, by as much as 99%.

Cannot find the paper you are looking for? You can Submit a new open access paper.