---
res:
  bibo_abstract:
  - 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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Luca
      foaf_name: Geretti, Luca
      foaf_surname: Geretti
  - foaf_Person:
      foaf_givenName: Julien
      foaf_name: Alexandre Dit Sandretto, Julien
      foaf_surname: Alexandre Dit Sandretto
  - foaf_Person:
      foaf_givenName: Matthias
      foaf_name: Althoff, Matthias
      foaf_surname: Althoff
  - foaf_Person:
      foaf_givenName: Luis
      foaf_name: Benet, Luis
      foaf_surname: Benet
  - foaf_Person:
      foaf_givenName: Alexandre
      foaf_name: Chapoutot, Alexandre
      foaf_surname: Chapoutot
  - foaf_Person:
      foaf_givenName: Xin
      foaf_name: Chen, Xin
      foaf_surname: Chen
  - foaf_Person:
      foaf_givenName: Pieter
      foaf_name: Collins, Pieter
      foaf_surname: Collins
  - foaf_Person:
      foaf_givenName: Marcelo
      foaf_name: Forets, Marcelo
      foaf_surname: Forets
  - foaf_Person:
      foaf_givenName: Daniel
      foaf_name: Freire, Daniel
      foaf_surname: Freire
  - foaf_Person:
      foaf_givenName: Fabian
      foaf_name: Immler, Fabian
      foaf_surname: Immler
  - foaf_Person:
      foaf_givenName: Niklas
      foaf_name: Kochdumper, Niklas
      foaf_surname: Kochdumper
  - foaf_Person:
      foaf_givenName: David
      foaf_name: Sanders, David
      foaf_surname: Sanders
  - foaf_Person:
      foaf_givenName: Christian
      foaf_name: Schilling, Christian
      foaf_surname: Schilling
      foaf_workInfoHomepage: http://www.librecat.org/personId=3A2F4DCE-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0003-3658-1065
  bibo_doi: 10.29007/zkf6
  bibo_volume: 74
  dct_date: 2020^xs_gYear
  dct_language: eng
  dct_publisher: EasyChair@
  dct_title: 'ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear
    dynamics@'
...