Raz Yerushalmi

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