ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan. ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 110-127, EasyChair, 2018. [doi]

The following publications are possibly variants of this publication:

ARCH-COMP21 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. arch 2021: 120-132 [doi]

ARCH-COMP20 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. arch 2020: 153-174 [doi]

ARCH-COMP23 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster 0001, Jonathan Julián Huerta y Munive. arch 2023: 170-188 [doi]

ARCH-COMP22 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster 0001, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive. arch 2022: 185-203 [doi]

ARCH-COMP19 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. cpsweek 2019: 141-161 [doi]

runs on WebDSL