Sign in
Yafim Kazak
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Learning Systems
Mobile Learning
Markov Decision Processes
Building Blocks
Top Venues
SIGCOMM
NetAI@SIGCOMM
</>
Publications
</>
Tomer Eliyahu
,
Yafim Kazak
,
Guy Katz
,
Michael Schapira
Verifying learning-augmented systems.
SIGCOMM
(2021)
Yafim Kazak
,
Clark W. Barrett
,
Guy Katz
,
Michael Schapira
Verifying Deep-RL-Driven Systems.
NetAI@SIGCOMM
(2019)