Skip to content

Raz Yerushalmi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

5

Active years

2022–2024

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2024ICONIPEnforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming.Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2023ICSEEnhancing Deep Reinforcement Learning with Executable Specifications.Raz Yerushalmi
2023TACASVerifying Learning-Based Robotic Navigation Systems.Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2023VECoSgRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks.Natan Levy, Raz Yerushalmi, Guy Katz
2022MODELSWARDScenario-assisted Deep Reinforcement Learning.Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron