Verifying Learning-Based Robotic Navigation Systems
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, D. Harel, A. Farinelli, Guy Katz
International Conference on Tools and Algorithms for Construction and Analysis of Systems