ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Published in In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018
Immler, Fabian, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, and Majid Zamani. “ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems. 2018.