Constraint-Aware Refinement for Verification (CARV)

This repository contains CARV -- constraint-aware refinement for verification.

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
gifs		gifs
nfl_robustness_training/src		nfl_robustness_training/src
third_party		third_party
.gitmodules		.gitmodules
README.md		README.md
double_integrator_final.gif		double_integrator_final.gif
ipopt.opt		ipopt.opt
torch_model		torch_model
unicycle.gif		unicycle.gif
unicycle_final.gif		unicycle_final.gif
unicycle_hard.gif		unicycle_hard.gif

Provide feedback