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]
@inproceedings{MitschSTPZJWZ18,
title = {ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving},
author = {Stefan Mitsch and Andrew Sogokon and Yong Kiam Tan and André Platzer and Hengjun Zhao and Xiangyu Jin and Shuling Wang and Naijun Zhan},
year = {2018},
url = {http://www.easychair.org/publications/paper/tNN2},
researchr = {https://researchr.org/publication/MitschSTPZJWZ18},
cites = {0},
citedby = {0},
pages = {110-127},
booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
editor = {Goran Frehse and Matthias Althoff and Sergiy Bogomolov and Taylor T. Johnson},
volume = {54},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}