@inproceedings{f8395fb7d065472db26e1308e348c18d,
title = "ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics",
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.",
author = "Luca Geretti and {Dit Sandretto}, {Julien Alexandre} 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 Sanders, {David P.} and Christian Schilling",
note = "Funding Information: Xin Chen acknowledges the support from Air Force Research Laboratory under the contract FA8650-16-C-2642, Thrust 3. Funding Information: Luca Geretti acknowledges the support from MIUR, Project ”Italian Outstanding Departments, 2018-2022” and by INDAM, GNCS 2020, ”Strategic Reasoning and Automated Synthesis of Multi-Agent Systems”. Luis Benet acknowledges support from PAPIIT grant IG-100819. Funding Information: Matthias Althoff acknowledges support by the European Commission project justITSELF under grant number 817629. Funding Information: Julien Alexandre dit Sandretto: this work was supported by the “Chair Complex Systems Engineering - Ecole polytechnique, THALES, DGA, FX, Dassault Aviation, DCNS Research, ENSTA Paris, T{\'e}l{\'e}com Paris, and Fondation ParisTech” and partially supported by DGA AID. Funding Information: Fabian Immler: This material is based upon work supported by the Air Force Office of Scientific Research under grant number FA9550-18-1-0120. Any opinions, finding, and conclusion or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the United States Air Force. David Sanders acknowledges support from PAPIIT grant IN-117117. Funding Information: Christian Schilling acknowledges support in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award) and the European Union{\textquoteright}s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No. 754411. Publisher Copyright: {\textcopyright} 2020 EasyChair. All rights reserved.; 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 ; Conference date: 12-07-2020 Through 12-07-2020",
year = "2020",
month = jan,
day = "1",
doi = "10.29007/zkf6",
language = "English",
volume = "74",
series = "EPiC Series in Computing",
publisher = "EasyChair",
pages = "49--75",
booktitle = "ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)",
}