We stand with Ukraine  

Raya Elsaleh

According to our database1, Raya Elsaleh authored at least 4 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Incremental Neural Network Verification via Learned Conflicts.
[BibTeX]
[DOI]
Raya Elsaleh
,
Liam Davis
,
Haoze Wu
,
Guy Katz
CoRR, March, 2026

FAME: Formal Abstract Minimal Explanation for Neural Networks.
[BibTeX]
[DOI]
Ryma Boumazouza
,
Raya Elsaleh
,
Melanie Ducoffe
,
Shahaf Bassan
,
Guy Katz
CoRR, March, 2026

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

2023
DelBugV: Delta-Debugging Neural Network Verifiers.
[BibTeX]
[DOI]
Raya Elsaleh
,
Guy Katz
Proceedings of the Formal Methods in Computer-Aided Design, 2023


  Loading...