ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Autor: Geretti, Luca, Alexandre dit Sandretto, Julien, Althoff, Matthias, Benet, Luis, Chapoutot, Alexandre, Collins, Pieter, Duggirala, Parasara Sridhar, Forets, Marcelo, Kim, Edward, Linares, Uziel, Sanders, David P., Schilling, Christian, Wetzlinger, Mark, Frehse, Goran

Publikováno v: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Geretti, L, Sandretto, J A D, Althoff, M, Benet, L, Chapoutot, A, Collins, P, Duggirala, P S, Forets, M, Kim, E, Linares, U, Sanders, D P, Schilling, C & Wetzlinger, M 2021, ARCH-COMP21 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics . in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) . EasyChair, EPiC Series in Computing, vol. 80, pp. 32-54, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bruxelles, Belgium, 09/07/2021 . https://doi.org/10.29007/2jw8

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 S

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85e4f97224992787111b3b787bd8dd6d
https://mediatum.ub.tum.de/1638308