Login / Signup
Raya Elsaleh
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Hybrid Intelligent
Multilayer Perceptron
Bp Neural Network
Learning Rules
Top Venues
CoRR
FMCAD
</>
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)