TY  - RPRT
TI  - Verifying Learning-Based Robotic Navigation Systems
AU  - Guy Amir
AU  - Davide Corsi
AU  - Raz Yerushalmi
AU  - Luca Marzari
AU  - David Harel
AU  - Alessandro Farinelli
AU  - Guy Katz
PY  - 2023
UR  - https://arxiv.org/abs/2205.13536
ID  - 2205.13536
ER  -