Merge branch 'master' of https://github.com/verivital/ARCH-COMP2020

verivital · Jun 18, 2020 · 1ea754f · 1ea754f
2 parents bacba6e + ca18236
commit 1ea754f
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -3,13 +3,16 @@ ARCH Competition AINNCS 2020 -
 
 ## Benchmarks
 
-Nonlinear TORA with ReLU controller
+- TORA with ReLU controller (benchmark 9)
 
-Nonlinear TORA with heterogeneous controller
+- TORA with heterogeneous and sigmoid controller
 
-Nonlinear Adaptive Cruise Controller (ACC) with ReLU controller
+- Adaptive Cruise Controller (ACC)
 
-VCAS with nonlinear discrete dynamics
+- VCAS
 
-Nonlinear Unicycle with ReLU controller
+- Unicycle (benchmark 10)
 
+- Double Pendulum
+
+- Airplane