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

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]

This author has not been identified. Look up 'Stefan Mitsch' in GoogleThis author has not been identified. Look up 'Andrew Sogokon' in GoogleThis author has not been identified. Look up 'Yong Kiam Tan' in GoogleThis author has not been identified. Look up 'André Platzer' in GoogleThis author has not been identified. Look up 'Hengjun Zhao' in GoogleThis author has not been identified. Look up 'Xiangyu Jin' in GoogleThis author has not been identified. Look up 'Shuling Wang' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in Google

runs on WebDSL