@inproceedings{ImmlerAlthoffChenetal.2018, author = {Immler, Fabian and Althoff, Matthias and Chen, Xin and Fan, Chuchu and Frehse, Goran and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan and Tomar, Mahendra Singh and Zamani, Majid}, title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics}, volume = {54}, booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems}, editor = {Frehse, Goran}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/mskf}, pages = {53 -- 70}, year = {2018}, language = {en} }