ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. In Goran Frehse, Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. Volume 61 of EPiC Series in Computing, pages 141-161, EasyChair, 2019. [doi]

Authors

Stefan Mitsch

This author has not been identified. Look up 'Stefan Mitsch' in Google

Andrew Sogokon

This author has not been identified. Look up 'Andrew Sogokon' in Google

Yong Kiam Tan

This author has not been identified. Look up 'Yong Kiam Tan' in Google

Xiangyu Jin

This author has not been identified. Look up 'Xiangyu Jin' in Google

Bohua Zhan

This author has not been identified. Look up 'Bohua Zhan' in Google

Shuling Wang

This author has not been identified. Look up 'Shuling Wang' in Google

Naijun Zhan

This author has not been identified. Look up 'Naijun Zhan' in Google