Published December 31, 2022 | Version v1
Software Open

Artifact for Paper: Verifying Learning-Based Robotic Navigation Systems

Creators

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

Description

This is an artifact accompanying the paper: "Verifying Learning-Based Robotic Navigation Systems" (accepted to TACAS 2023). The artifact is designed to run on these virtual machines.

Files

final_artifact_tacas_2023.zip

Files (1.8 GB)

Name Size Download all
md5:2bd1e506bab71cd39a4882cd0aba4ff4
1.8 GB Preview Download