Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Elsaleh, Raya
3  Ergebnisse:
Personensuche X
?
1

DelBugV: Delta-Debugging Neural Network Verifiers:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Elsaleh, Raya ; Katz, Guy - p. 34-43 , 2023
Link: https://doi.org/10.34727..
 
?
2

Robustness Assessment of a Runway Object Classifier for Saf..:

Elboher, Yizhak ; Elsaleh, Raya ; Isac, Omri...
http://arxiv.org/abs/2402.00035.  , 2024
Link: http://arxiv.org/abs/240..
 
?
3

DelBugV: Delta-Debugging Neural Network Verifiers:

Elsaleh, Raya ; Katz, Guy
http://arxiv.org/abs/2305.18558.  , 2023
Link: http://arxiv.org/abs/230..
 
1-3