ARCH-COMP2024

code/nnv/examples/Submission/ARCH-COMP2024/README.md

@@ -1,47 +1,9 @@
-# ARCH-COMP 2024
-ARCH-COMP AINNCS Category 2024 Model Files
+# ARCH-COMP 2024 - AINNCS
 
 Event info: https://cps-vo.org/group/ARCH/FriendlyCompetition
 
-
-## Benchmarks 
-
-We plan to reuse benchmarks from 2023 but  feel free to propose new benchmarks or modifications to existing ones: https://github.com/verivital/ARCH-COMP2024/issues/1
-
-
-
-### [2023 Benchmarks](https://github.com/verivital/ARCH-COMP2023)
-
-- Adaptive Cruise Controller (ACC)
-
-- Airplane
-
-- Attitude Control 
-
-- Double Pendulum
-
-- Single Pendulum
-
-- QUAD
-
-- TORA with heterogeneous and sigmoid controller
-
-- TORA with ReLU controller (benchmark 9)
-
-- Unicycle (benchmark 10)
-
-- VCAS
-
-- 2D Spacecraft Docking
-
-
-### Competition History
-
-Prior year reports:
-- 2023: https://easychair.org/publications/paper/Vfq4b
-- 2022: https://easychair.org/publications/paper/C1J8
-- 2021: https://easychair.org/publications/paper/Jq4h
-- 2020: https://easychair.org/publications/paper/Jvwg
-- 2019: https://easychair.org/publications/paper/BFKs
+AINNCS competition info (benchmark and competition discussions): https://github.com/verivital/ARCH-COMP2024 
 
 Repeatability archives: https://gitlab.com/goranf/ARCH-COMP/
+
+NNV RE package: https://gitlab.com/goranf/ARCH-COMP/-/tree/master/2024/AINNCS/nnv