Raz Yerushalmi

According to our database, Raz Yerushalmi authored at least 10 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace.

Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi

CoRR, 2024

Categorizing methods for integrating machine learning with executable specifications.

David Harel, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf

Sci. China Inf. Sci., 2024

2023

Enhancing Deep Reinforcement Learning with Scenario-Based Modeling.

Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron

SN Comput. Sci., March, 2023

gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness.

Natan Levy, Raz Yerushalmi, Guy Katz

CoRR, 2023

gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks.

Natan Levy, Raz Yerushalmi, Guy Katz

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Verifying Learning-Based Robotic Navigation Systems.

Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Enhancing Deep Reinforcement Learning with Executable Specifications.

Raz Yerushalmi

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming.

Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz

CoRR, 2022

Scenario-assisted Deep Reinforcement Learning.

Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns.

David Harel, Assaf Marron, Raz Yerushalmi

Computer, 2021