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