From bed648bf343a951369caf9afdb5eaf99bb001f48 Mon Sep 17 00:00:00 2001 From: Diego Manzanas Date: Wed, 17 Jun 2020 17:42:33 -0500 Subject: [PATCH] Update README.md --- README.md | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) 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 +