ARCH-COMP AINNCS Category 2021 Model Files
Competition: https://cps-vo.org/group/ARCH/FriendlyCompetition
Prior year reports:
- 2020: https://easychair.org/publications/paper/Jvwg
- 2019: https://easychair.org/publications/paper/BFKs
Repeatability archives: https://gitlab.com/goranf/ARCH-COMP/
-
TORA with ReLU controller (benchmark 9)
-
TORA with heterogeneous and sigmoid controller
-
Adaptive Cruise Controller (ACC)
-
VCAS
-
Unicycle (benchmark 10)
-
Single Pendulum
-
Double Pendulum
-
Airplane