Repository navigation

CARV

Public

About

Repo for robust training of NN controllers with verification tools

Custom properties

4 stars

3 watching

Report repository

Name		Name	Last commit message	Last commit date
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

Repository files navigation

Constraint-Aware Refinement for Verification (CARV)

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

About

Repo for robust training of NN controllers with verification tools

Custom properties

4 stars

3 watching

Report repository

Releases

Packages

Used by

Contributors

Languages