Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani. The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. In Dirk Beyer 0001, Arnd Hartmanns, Fabrice Kordon, editors, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France. Volume 14550 of Lecture Notes in Computer Science, pages 1-37, Springer, 2023. [doi]
Abstract is missing.