---
_id: '8570'
abstract:
- lang: eng
  text: 'This report presents the results of a friendly competition for formal verification
    of continuous and hybrid systems with linear continuous dynamics. The friendly
    competition took place as part of the workshop Applied Verification for Continuous
    and Hybrid Systems (ARCH) in 2019. In its third edition, seven tools have been
    applied to solve six different benchmark problems in the category for linear continuous
    dynamics (in alphabetical order): CORA, CORA/SX, HyDRA, Hylaa, 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.</jats:p>'
article_processing_charge: No
author:
- first_name: Matthias
  full_name: Althoff, Matthias
  last_name: Althoff
- first_name: Stanley
  full_name: Bak, Stanley
  last_name: Bak
- first_name: Marcelo
  full_name: Forets, Marcelo
  last_name: Forets
- first_name: Goran
  full_name: Frehse, Goran
  last_name: Frehse
- first_name: Niklas
  full_name: Kochdumper, Niklas
  last_name: Kochdumper
- first_name: Rajarshi
  full_name: Ray, Rajarshi
  last_name: Ray
- first_name: Christian
  full_name: Schilling, Christian
  id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
  last_name: Schilling
  orcid: 0000-0003-3658-1065
- first_name: Stefan
  full_name: Schupp, Stefan
  last_name: Schupp
citation:
  ama: 'Althoff M, Bak S, Forets M, et al. ARCH-COMP19 Category Report: Continuous
    and hybrid systems with linear continuous dynamics. In: <i>EPiC Series in Computing</i>.
    Vol 61. EasyChair; 2019:14-40. doi:<a href="https://doi.org/10.29007/bj1w">10.29007/bj1w</a>'
  apa: 'Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R., … Schupp,
    S. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with linear
    continuous dynamics. In <i>EPiC Series in Computing</i> (Vol. 61, pp. 14–40).
    Montreal, Canada: EasyChair. <a href="https://doi.org/10.29007/bj1w">https://doi.org/10.29007/bj1w</a>'
  chicago: 'Althoff, Matthias, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper,
    Rajarshi Ray, Christian Schilling, and Stefan Schupp. “ARCH-COMP19 Category Report:
    Continuous and Hybrid Systems with Linear Continuous Dynamics.” In <i>EPiC Series
    in Computing</i>, 61:14–40. EasyChair, 2019. <a href="https://doi.org/10.29007/bj1w">https://doi.org/10.29007/bj1w</a>.'
  ieee: 'M. Althoff <i>et al.</i>, “ARCH-COMP19 Category Report: Continuous and hybrid
    systems with linear continuous dynamics,” in <i>EPiC Series in Computing</i>,
    Montreal, Canada, 2019, vol. 61, pp. 14–40.'
  ista: 'Althoff M, Bak S, Forets M, Frehse G, Kochdumper N, Ray R, Schilling C, Schupp
    S. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with linear
    continuous dynamics. EPiC Series in Computing. ARCH: International Workshop on
    Applied Verification on Continuous and Hybrid Systems vol. 61, 14–40.'
  mla: 'Althoff, Matthias, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid
    Systems with Linear Continuous Dynamics.” <i>EPiC Series in Computing</i>, vol.
    61, EasyChair, 2019, pp. 14–40, doi:<a href="https://doi.org/10.29007/bj1w">10.29007/bj1w</a>.'
  short: M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling,
    S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
conference:
  end_date: 2019-04-15
  location: Montreal, Canada
  name: 'ARCH: International Workshop on Applied Verification on Continuous and Hybrid
    Systems'
  start_date: 2019-04-15
date_created: 2020-09-26T14:23:54Z
date_published: 2019-05-25T00:00:00Z
date_updated: 2021-01-12T08:20:05Z
day: '25'
department:
- _id: ToHe
doi: 10.29007/bj1w
intvolume: '        61'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://easychair.org/publications/open/1gbP
month: '05'
oa: 1
oa_version: Published Version
page: 14-40
publication: EPiC Series in Computing
publication_identifier:
  eissn:
  - '23987340'
publication_status: published
publisher: EasyChair
quality_controlled: '1'
status: public
title: 'ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous
  dynamics'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 61
year: '2019'
...
---
_id: '7576'
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 2019. In this year, 6 tools Ariadne, CORA, DynIbex,
    Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are
    applied to solve reachability analysis problems on four benchmark problems, one
    of them with 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.
article_processing_charge: No
author:
- first_name: Fabian
  full_name: Immler, Fabian
  last_name: Immler
- 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: Marcelo
  full_name: Forets, Marcelo
  last_name: Forets
- first_name: Luca
  full_name: Geretti, Luca
  last_name: Geretti
- first_name: Niklas
  full_name: Kochdumper, Niklas
  last_name: Kochdumper
- first_name: David P.
  full_name: Sanders, David P.
  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: 'Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous
    and hybrid systems with nonlinear dynamics. In: <i>EPiC Series in Computing</i>.
    Vol 61. EasyChair Publications; 2019:41-61. doi:<a href="https://doi.org/10.29007/m75b">10.29007/m75b</a>'
  apa: 'Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., …
    Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems
    with nonlinear dynamics. In <i>EPiC Series in Computing</i> (Vol. 61, pp. 41–61).
    Montreal, Canada: EasyChair Publications. <a href="https://doi.org/10.29007/m75b">https://doi.org/10.29007/m75b</a>'
  chicago: 'Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin
    Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian
    Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear
    Dynamics.” In <i>EPiC Series in Computing</i>, 61:41–61. EasyChair Publications,
    2019. <a href="https://doi.org/10.29007/m75b">https://doi.org/10.29007/m75b</a>.'
  ieee: 'F. Immler <i>et al.</i>, “ARCH-COMP19 Category Report: Continuous and hybrid
    systems with nonlinear dynamics,” in <i>EPiC Series in Computing</i>, Montreal,
    Canada, 2019, vol. 61, pp. 41–61.'
  ista: 'Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper
    N, Sanders DP, Schilling C. 2019. ARCH-COMP19 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. 61, 41–61.'
  mla: 'Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid
    Systems with Nonlinear Dynamics.” <i>EPiC Series in Computing</i>, vol. 61, EasyChair
    Publications, 2019, pp. 41–61, doi:<a href="https://doi.org/10.29007/m75b">10.29007/m75b</a>.'
  short: F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti,
    N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair
    Publications, 2019, pp. 41–61.
conference:
  end_date: 2019-04-15
  location: Montreal, Canada
  name: 'ARCH: International Workshop on Applied Verification on Continuous and Hybrid
    Systems'
  start_date: 2019-04-15
date_created: 2020-03-08T23:00:49Z
date_published: 2019-05-25T00:00:00Z
date_updated: 2021-01-12T08:14:17Z
day: '25'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.29007/m75b
file:
- access_level: open_access
  checksum: 9138977a06fcd6a95976eb4bca875f0c
  content_type: application/pdf
  creator: dernst
  date_created: 2020-03-24T07:36:36Z
  date_updated: 2020-07-14T12:48:00Z
  file_id: '7617'
  file_name: 2019_ARCH19_Immler.pdf
  file_size: 1934830
  relation: main_file
file_date_updated: 2020-07-14T12:48:00Z
has_accepted_license: '1'
intvolume: '        61'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 41-61
publication: EPiC Series in Computing
publication_identifier:
  eissn:
  - '23987340'
publication_status: published
publisher: EasyChair Publications
quality_controlled: '1'
scopus_import: 1
status: public
title: 'ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear
  dynamics'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 61
year: '2019'
...