Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster 0001, Jonathan Julián Huerta y Munive. ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. 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 170-188, EasyChair, 2023. [doi]
Abstract is missing.