diff --git a/README.md b/README.md index 89e2707..d79be42 100644 --- a/README.md +++ b/README.md @@ -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 +