Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling 0001, Mark Wetzlinger, Daniel Zhuang. ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Goran Frehse, Matthias Althoff, editors, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023. Volume 96 of EPiC Series in Computing, pages 61-88, EasyChair, 2023. [doi]
Abstract is missing.