Skip to content
/ ARCH-COMP2020 Public

ARCH Competition AINNCS 2020 - Benchmarks description

3 stars 2 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

verivital/ARCH-COMP2020

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

34 Commits
benchmarks
benchmarks
 
 
.gitignore
.gitignore
 
 
README.md
README.md
 
 

Repository files navigation

ARCH-COMP2020

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/

Benchmarks

  • 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

About

ARCH Competition AINNCS 2020 - Benchmarks description

Resources

Readme
Activity
Custom properties

Stars

3 stars

Watchers

4 watching

Forks

2 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 5

Languages