ARCH-COMP 2023

ARCH-COMP AINNCS Category 2023 Model Files

Competition: https://cps-vo.org/group/ARCH/FriendlyCompetition

Prior year reports:

• 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

Repeatability archives: https://gitlab.com/goranf/ARCH-COMP/

Benchmarks

• Adaptive Cruise Controller (ACC)

• Aircraft

  • Attitude Control
  • QUAD

• Airplane

• Double Pendulum

• Single Pendulum

• TORA with heterogeneous and sigmoid controller

• TORA with ReLU controller (benchmark 9)

• Unicycle (benchmark 10)

• VCAS

• 2D Spacecraft Docking