Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published May 18, 2022 | Version v2
Software Open

Verifying Learning-Based Robotic Navigation Systems: Artifact

  • 1. The Hebrew University of Jerusalem
  • 2. University of Verona
  • 3. The Weizmann Institute of Science

Description

This repository includes an accompanying artifact to our paper --- Verifying Learning-Based Robotic Navigation Systems (to appear at the TACAS 2023 conference)

 

For specific instructions please read the README.txt file.

 

For technical questions --- contact us at guyam@cs.huji.ac.il and davide.corsi@univr.it.

Notes

See full paper at: https://arxiv.org/abs/2205.13536

Files

License.txt

Files (458.7 MB)

Name Size Download all
md5:57802e30104c5dd3317c82c207840087
1.8 kB Preview Download
md5:62302612a3ad049a5bcc551a91d8d892
9.9 MB Preview Download
md5:0f8ddd919d28de7ceeefc4a812aec3fa
10.4 kB Preview Download
md5:17de241903413af789d728ba3467ed85
17.1 kB Preview Download
md5:8e515ad391f79d3896b43d8f378b4d68
156.2 MB Preview Download
md5:161209c2cfb2148ac9851a40bb13b5e3
140.7 MB Preview Download
md5:e651f3d7803836e71d0080904b598ef2
151.9 MB Preview Download