%0 Journal Article %1 journals/corr/abs-2205-13536 %A Amir, Guy %A Corsi, Davide %A Yerushalmi, Raz %A Marzari, Luca %A Harel, David %A Farinelli, Alessandro %A Katz, Guy %D 2022 %J CoRR %K dblp %T Verifying Learning-Based Robotic Navigation Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-13536 %V abs/2205.13536

@article{journals/corr/abs-2205-13536, added-at = {2022-12-07T00:00:00.000+0100}, author = {Amir, Guy and Corsi, Davide and Yerushalmi, Raz and Marzari, Luca and Harel, David and Farinelli, Alessandro and Katz, Guy}, biburl = {https://www.bibsonomy.org/bibtex/288bdbd8e5f1d992c3c00b591a17543cf/dblp}, ee = {https://doi.org/10.48550/arXiv.2205.13536}, interhash = {0b87d3062adc8bc45900ce51613d6c75}, intrahash = {88bdbd8e5f1d992c3c00b591a17543cf}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:18:12.000+0200}, title = {Verifying Learning-Based Robotic Navigation Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-13536}, volume = {abs/2205.13536}, year = 2022 }