2
Publications
99
Citations
2
H-Index
2019
Active since
Affiliations
Hebrew University of Jerusalem(Current)
Yafim Kazak is an author at Hebrew University of Jerusalem specializing in engineering, verification, and automated reasoning.
Top concepts
EngineeringVerificationDeep LearningFormal MethodsRobot LearningComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringArtificial Intelligence
Publications per year
2019–2021
2
2
Verifying Deep-RL-Driven Systems
Yafim Kazak, Clark Barrett, Guy Katz et al. · 2019 · 58 citations · Full text
Verifying learning-augmented systems
Tomer Eliyahu, Yafim Kazak, Guy Katz et al. · 2021 · 41 citations
Rows per page
1–2 of 2