We gratefully acknowledge support from
the Simons Foundation and member institutions.

Guy Amir, Davide Corsi, Raz Yerushalmi... are qualified to endorse.

Verifying Learning-Based Robotic Navigation Systems

Guy Amir: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CC, cs.HC, cs.LG, cs.LO, cs.NI, cs.RO, cs.SE, math.OC. (why?)
Davide Corsi: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LG, cs.LO, cs.RO. (why?)
Raz Yerushalmi: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LG, cs.RO, cs.SE. (why?)
Guy Katz: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CC, cs.CL, cs.CR, cs.CV, cs.FL, cs.LG, cs.LO, cs.NE, cs.NI, cs.PL, cs.RO, cs.SE, math.OC. (why?)

Luca Marzari, David Harel and Alessandro Farinelli are not registered as owners of this paper. (why?)