Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. - David Harel; Assaf Marron; Raz Yerushalmi (Computer, 2021)

Scenario-assisted Deep Reinforcement Learning. - Raz Yerushalmi; Guy Amir; Achiya Elyasaf; David Harel; Guy Katz; Assaf Marron (MODELSWARD, 2022)

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. - Davide Corsi; Raz Yerushalmi; Guy Amir; Alessandro Farinelli; David Harel; Guy Katz (CoRR, 2022)

Enhancing Deep Reinforcement Learning with Executable Specifications. - Raz Yerushalmi (ICSE Companion, 2023)

Verifying Learning-Based Robotic Navigation Systems. - Guy Amir; Davide Corsi; Raz Yerushalmi; Luca Marzari; David Harel; Alessandro Farinelli; Guy Katz (TACAS (1), 2023)

gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks. - Natan Levy; Raz Yerushalmi; Guy Katz (AISoLA, 2023)

gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness. - Natan Levy; Raz Yerushalmi; Guy Katz (CoRR, 2023)

Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. - Raz Yerushalmi; Guy Amir; Achiya Elyasaf; David Harel; Guy Katz; Assaf Marron (SN Comput. Sci., 2023)

Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming. - Davide Corsi; Raz Yerushalmi; Guy Amir; Alessandro Farinelli; David Harel; Guy Katz (ICONIP (11), 2024)

Categorizing methods for integrating machine learning with executable specifications. - David Harel; Raz Yerushalmi; Assaf Marron; Achiya Elyasaf (Sci. China Inf. Sci., 2024)

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace. - Guy Katz; Natan Levy; Idan Refaeli; Raz Yerushalmi (CoRR, 2024)