ARCH COMP 2021

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

Repository with benchmark models from 2020: https://github.com/verivital/ARCH-COMP2020

Next meeting: Thursday 1st April at 11am (GMT-3)

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

• https://github.com/mforets/escritoire/tree/master/2020/Week22/ARCH_COMP_2020_AFF/Gearbox

NLN (Nonlinear)

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

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

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