Raz Yerushalmi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Temporal Difference

Function Approximation

Navigation Systems

Reinforcement Learning

Top Venues

Sci. China Inf. Sci.

Publications

David Harel, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf
Categorizing methods for integrating machine learning with executable specifications. Sci. China Inf. Sci. 67 (1) (2024)
Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi
DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace. CoRR (2024)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) (2023)
Natan Levy, Raz Yerushalmi, Guy Katz
gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness. CoRR (2023)
Natan Levy, Raz Yerushalmi, Guy Katz
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks. AISoLA (2023)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. SN Comput. Sci. 4 (2) (2023)
Raz Yerushalmi
Enhancing Deep Reinforcement Learning with Executable Specifications. ICSE Companion (2023)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Scenario-assisted Deep Reinforcement Learning. MODELSWARD (2022)
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR (2022)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. CoRR (2022)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Scenario-Assisted Deep Reinforcement Learning. CoRR (2022)
David Harel, Assaf Marron, Raz Yerushalmi
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. Computer 54 (10) (2021)