ARCH COMP 2021

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

Repository with benchmark models from 2020: https://gitlab.com/goranf/ARCH-COMP

Next meeting: TBA (GMT-3): https://meet.google.com/vqp-gfsv-mrh

Development sprints:

• Mondays (every week) 14:00 to 17:00 (GMT-3): meet.google.com/ssh-rzgz-ypa
• Thursdays (every week) 14:00 to 17:00 (GMT-3): meet.google.com/tnu-fbvr-mhd

Tasks of the group leader: attends all external meetings, leads repeatability evaluation, informs on new problem proposals.

AFF (Affine)

Article from 2020: https://easychair.org/publications/paper/DRpS

Repo (private): https://github.com/JuliaReach/ARCH2021_AFF

Team: Marcelo, Christian, Daniel

Team leader: Daniel

• link to last year models
  • gearbox

NLN (Nonlinear)

Article from 2020: https://easychair.org/publications/paper/nrdD

Repo (private): https://github.com/JuliaReach/ARCH2021_NLN

Deadline (final results): 8th June

Team: Marcelo, Christian, Luis, David, Uziel, Daniel

Team leader: Marcelo

AI/NNCS (Artificial Intelligence / Neural network controlled system)

Article from 2020: https://easychair.org/publications/paper/Jvwg

Repo (private): https://github.com/JuliaReach/ARCH2021_AINNCS

• https://github.com/JuliaReach/NeuralNetworkAnalysis.jl

Team: Marcelo, Christian, Sebastian

Team leader: Christian