Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
mldiego authored Jun 17, 2020
1 parent 3473769 commit bed648b
Showing 1 changed file with 14 additions and 1 deletion.
15 changes: 14 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,2 +1,15 @@
# ARCH-COMP2020
ARCH Competition AINNCS 2020 - NNV results
ARCH Competition AINNCS 2020 -

## Benchmarks

Nonlinear TORA with ReLU controller

Nonlinear TORA with heterogeneous controller

Nonlinear Adaptive Cruise Controller (ACC) with ReLU controller

VCAS with nonlinear discrete dynamics

Nonlinear Unicycle with ReLU controller

0 comments on commit bed648b

Please sign in to comment.