ARCH Competition AINNCS 2020
The ARCH-COMP2020 AINNCS category report is available here:
https://easychair.org/publications/paper/Jvwg
Note: please use the 2021 ARCH-COMP benchmarks for the latest version, as some typos and other minor issues were addressed:
https://github.com/verivital/ARCH-COMP2021/
-
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