Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster 0001, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive. ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. In Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jérémie Guiochet, editors, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022. Volume 90 of EPiC Series in Computing, pages 185-203, EasyChair, 2022. [doi]
Abstract is missing.