E-LIB Suche - Ergebnisse für: Yerushalmi, Raz

1

Verifying Learning-Based Robotic Navigation Systems:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz... - p. 607-627 , 2023

Link: https://doi.org/10.1007/..

2

Enhancing Deep Reinforcement Learning with Executable Speci..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Yerushalmi, Raz - p. 213-217 , 2023

Link: https://doi.org/10.1109/..

3

Enhancing Deep Reinforcement Learning with Scenario-Based M..:

Yerushalmi, Raz ; Amir, Guy ; Elyasaf, Achiya...
SN Computer Science. 4 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

4

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

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Levy, Natan ; Yerushalmi, Raz ; Katz, Guy - p. 160-170 , 2023

Link: https://doi.org/10.1007/..

5

Categorizing methods for integrating machine learning with ..:

Harel, David ; Yerushalmi, Raz ; Marron, Assaf.
Science China Information Sciences. 67 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

6

Scenario-Based Algorithmics: Coding Algorithms by Automatic..:

Harel, David ; Marron, Assaf ; Yerushalmi, Raz
Computer. 54 (2021) 10 - p. 95-101 , 2021

Link: https://doi.org/10.1109/..

7

DEM: A Method for Certifying Deep Neural Network Classifier..:

Katz, Guy ; Levy, Natan ; Refaeli, Idan.
http://arxiv.org/abs/2401.02283. , 2024

Link: http://arxiv.org/abs/240..

8

gRoMA: a Tool for Measuring the Global Robustness of Deep N..:

Levy, Natan ; Yerushalmi, Raz ; Katz, Guy
http://arxiv.org/abs/2301.02288. , 2023

Link: http://arxiv.org/abs/230..

9

Verifying Learning-Based Robotic Navigation Systems: Artifa..:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
doi:10.5281/zenodo.6561335. , 2022

Link: https://zenodo.org/recor..

10

Verifying Learning-Based Robotic Navigation Systems: Artifa..:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
doi:10.5281/zenodo.6561335. , 2022

Link: https://zenodo.org/recor..

11

Constrained Reinforcement Learning for Robotics via Scenari..:

Corsi, Davide ; Yerushalmi, Raz ; Amir, Guy...
http://arxiv.org/abs/2206.09603. , 2022

Link: http://arxiv.org/abs/220..

12

Verifying Learning-Based Robotic Navigation Systems:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
http://arxiv.org/abs/2205.13536. , 2022

Link: http://arxiv.org/abs/220..

13

Scenario-Assisted Deep Reinforcement Learning:

Yerushalmi, Raz ; Amir, Guy ; Elyasaf, Achiya...
http://arxiv.org/abs/2202.04337. , 2022

Link: http://arxiv.org/abs/220..

14

Artifact for Paper: Verifying Learning-Based Robotic Naviga..:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
doi:10.5281/zenodo.7496351. , 2022

Link: https://zenodo.org/recor..

15

The impact of germline BRCA pathogenic variants in locally ..:

Mutai, Raz ; Kuchuk, Iryna ; Goldshtein, Alexandra...
Breast Cancer Research and Treatment. 205 (2024) 2 - p. 241-248 , 2024

Link: https://doi.org/10.1007/..