---
res:
  bibo_abstract:
  - 'We present the results of the ARCH 2020 friendly competition for formal verification
    of continuous and hybrid systems with linear continuous dynamics. In its fourth
    edition, eight tools have been applied to solve eight different benchmark problems
    in the category for linear continuous dynamics (in alphabetical order): CORA,
    C2E2, HyDRA, Hylaa, Hylaa-Continuous, JuliaReach, SpaceEx, and XSpeed. This report
    is a snapshot of the current landscape of tools and the types of benchmarks they
    are particularly suited for. Due to the diversity of problems, we are not ranking
    tools, yet the presented results provide one of the most complete assessments
    of tools for the safety verification of continuous and hybrid systems with linear
    continuous dynamics up to this date.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Matthias
      foaf_name: Althoff, Matthias
      foaf_surname: Althoff
  - foaf_Person:
      foaf_givenName: Stanley
      foaf_name: Bak, Stanley
      foaf_surname: Bak
  - foaf_Person:
      foaf_givenName: Zongnan
      foaf_name: Bao, Zongnan
      foaf_surname: Bao
  - foaf_Person:
      foaf_givenName: Marcelo
      foaf_name: Forets, Marcelo
      foaf_surname: Forets
  - foaf_Person:
      foaf_givenName: Goran
      foaf_name: Frehse, Goran
      foaf_surname: Frehse
  - foaf_Person:
      foaf_givenName: Daniel
      foaf_name: Freire, Daniel
      foaf_surname: Freire
  - foaf_Person:
      foaf_givenName: Niklas
      foaf_name: Kochdumper, Niklas
      foaf_surname: Kochdumper
  - foaf_Person:
      foaf_givenName: Yangge
      foaf_name: Li, Yangge
      foaf_surname: Li
  - foaf_Person:
      foaf_givenName: Sayan
      foaf_name: Mitra, Sayan
      foaf_surname: Mitra
  - foaf_Person:
      foaf_givenName: Rajarshi
      foaf_name: Ray, Rajarshi
      foaf_surname: Ray
  - 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
  - foaf_Person:
      foaf_givenName: Stefan
      foaf_name: Schupp, Stefan
      foaf_surname: Schupp
  - foaf_Person:
      foaf_givenName: Mark
      foaf_name: Wetzlinger, Mark
      foaf_surname: Wetzlinger
  bibo_doi: 10.29007/7dt2
  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 linear
    dynamics@'
...