Published May 18, 2022
| Version v2
Software
Open
Verifying Learning-Based Robotic Navigation Systems: Artifact
Creators
- 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 |