@misc{indiciae48d4e906a011,
  title = {Verifying Learning-Based Robotic Navigation Systems},
  author = {Guy Amir and Davide Corsi and Raz Yerushalmi and Luca Marzari and David Harel and Alessandro Farinelli and Guy Katz},
  year = {2023},
  url = {https://arxiv.org/abs/2205.13536},
  note = {Source identifier: 2205.13536}
}