---
_id: '8571'
abstract:
- lang: eng
  text: We present the results of a friendly competition for formal verification of
    continuous and hybrid systems with nonlinear continuous dynamics. The friendly
    competition took place as part of the workshop Applied Verification for Continuous
    and Hybrid Systems (ARCH) in 2020. This year, 6 tools Ariadne, CORA, DynIbex,
    Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. These
    tools are applied to solve reachability analysis problems on six benchmark problems,
    two of them featuring hybrid dynamics. We do not rank the tools based on the results,
    but show the current status and discover the potential advantages of different
    tools.
acknowledgement: Christian Schilling acknowledges support in part by the Austrian
  Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award) and the European Union’s
  Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie
  grant agreement No. 754411.
article_processing_charge: No
author:
- first_name: Luca
  full_name: Geretti, Luca
  last_name: Geretti
- first_name: Julien
  full_name: Alexandre Dit Sandretto, Julien
  last_name: Alexandre Dit Sandretto
- first_name: Matthias
  full_name: Althoff, Matthias
  last_name: Althoff
- first_name: Luis
  full_name: Benet, Luis
  last_name: Benet
- first_name: Alexandre
  full_name: Chapoutot, Alexandre
  last_name: Chapoutot
- first_name: Xin
  full_name: Chen, Xin
  last_name: Chen
- first_name: Pieter
  full_name: Collins, Pieter
  last_name: Collins
- first_name: Marcelo
  full_name: Forets, Marcelo
  last_name: Forets
- first_name: Daniel
  full_name: Freire, Daniel
  last_name: Freire
- first_name: Fabian
  full_name: Immler, Fabian
  last_name: Immler
- first_name: Niklas
  full_name: Kochdumper, Niklas
  last_name: Kochdumper
- first_name: David
  full_name: Sanders, David
  last_name: Sanders
- first_name: Christian
  full_name: Schilling, Christian
  id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
  last_name: Schilling
  orcid: 0000-0003-3658-1065
citation:
  ama: 'Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category
    Report: Continuous and hybrid systems with nonlinear dynamics. In: <i>EPiC Series
    in Computing</i>. Vol 74. EasyChair; 2020:49-75. doi:<a href="https://doi.org/10.29007/zkf6">10.29007/zkf6</a>'
  apa: 'Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot,
    A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous
    and hybrid systems with nonlinear dynamics. In <i>EPiC Series in Computing</i>
    (Vol. 74, pp. 49–75). EasyChair. <a href="https://doi.org/10.29007/zkf6">https://doi.org/10.29007/zkf6</a>'
  chicago: 'Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis
    Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category
    Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In <i>EPiC Series
    in Computing</i>, 74:49–75. EasyChair, 2020. <a href="https://doi.org/10.29007/zkf6">https://doi.org/10.29007/zkf6</a>.'
  ieee: 'L. Geretti <i>et al.</i>, “ARCH-COMP20 Category Report: Continuous and hybrid
    systems with nonlinear dynamics,” in <i>EPiC Series in Computing</i>, 2020, vol.
    74, pp. 49–75.'
  ista: 'Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen
    X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling
    C. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear
    dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification
    on Continuous and Hybrid Systems vol. 74, 49–75.'
  mla: 'Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid
    Systems with Nonlinear Dynamics.” <i>EPiC Series in Computing</i>, vol. 74, EasyChair,
    2020, pp. 49–75, doi:<a href="https://doi.org/10.29007/zkf6">10.29007/zkf6</a>.'
  short: L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot,
    X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders,
    C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
conference:
  end_date: 2020-07-12
  name: 'ARCH: International Workshop on Applied Verification on Continuous and Hybrid
    Systems'
  start_date: 2020-07-12
corr_author: '1'
date_created: 2020-09-26T14:41:29Z
date_published: 2020-09-25T00:00:00Z
date_updated: 2026-06-18T19:34:03Z
day: '25'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.29007/zkf6
ec_funded: 1
intvolume: '        74'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://easychair.org/publications/download/nrdD
month: '09'
oa: 1
oa_version: Published Version
page: 49-75
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: Formal methods for the design and analysis of complex systems
publication: EPiC Series in Computing
publication_status: published
publisher: EasyChair
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear
  dynamics'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 74
year: '2020'
...