Skip to content

ARCH COMP 2021

Marcelo Forets edited this page Feb 22, 2021 · 28 revisions

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

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

Next meeting: Thursday 4th March at 11am (GMT-3)

Development sprints:

AFF (Affine)

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

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

Team: Marcelo, Christian, Daniel, Sebastian

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

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

Team: Marcelo, Christian, Sebastian, David, Luis

Clone this wiki locally