ARCH-COMP

Best Result Award: Applied Verification for Continuous and Hybrid Systems 2020

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

by Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling and Stefan Schupp

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

by Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Daniel Freire, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, and Mark Wetzlinger (2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

by Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Xin Chen and Pieter Collins and Marcelo Forets and Daniel Freire and Fabian Immler and Niklas Kochdumper and David P. Sanders and Christian Schilling (2020)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

by Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders and Christian Schilling (2019)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

by Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp (2018)