@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
author = {Xin Chen and Matthias Althoff and Fabian Immler},
title = {ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sr6},
doi = {10.29007/v6g4},
pages = {160-169},
year = {2017}}