2023 AINNCS Benchmarks
Wed, 03/08/2023 - 5:35pm
We will discuss the 2023 AINNCS benchmarks here. By default, we will plan to reuse the benchmarks from 2022. Details on those are as below.
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
https://easychair.org/publications/paper/C1J8
2022 Model files:
https://github.com/verivital/ARCH-COMP2022
2023 Model files (open to additions/modifications for this year's competition):
https://github.com/verivital/ARCH-COMP2023
Please also plan to participate in the repeatability evaluation, with guidance based on what has been done in past years (provide a Dockerfile and an execution script).