Verifying Deep-RL-Driven Systems. - Yafim Kazak; Clark W. Barrett; Guy Katz; Michael Schapira (NetAI@SIGCOMM, 2019)

Verifying learning-augmented systems. - Tomer Eliyahu; Yafim Kazak; Guy Katz; Michael Schapira (SIGCOMM, 2021)