Skip to content

ARCH COMP 2021

Jump to bottom
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:

  • 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

AFF (Affine)

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

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

NLN (Nonlinear)

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

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

  • 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

Clone this wiki locally