DeepReach Verification: Generating Formal Safety Assurances for High-Dimensional Reachability

Albert Lin, Somil Bansal
University of Southern California

This code repository is still being reorganized before release.

Contact

If you have any questions, please feel free to email the authors.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
dynamics		dynamics
experiments		experiments
runs		runs
utils		utils
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
environment.yml		environment.yml
run_experiment.py		run_experiment.py
run_tests.sh		run_tests.sh