Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. 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 41-61, EasyChair, 2019. [doi]
@inproceedings{ImmlerABC0FGKSS19,
title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
author = {Fabian Immler and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Xin Chen 0002 and Marcelo Forets and Luca Geretti and Niklas Kochdumper and David P. Sanders and Christian Schilling},
year = {2019},
url = {http://www.easychair.org/publications/paper/4FSh},
researchr = {https://researchr.org/publication/ImmlerABC0FGKSS19},
cites = {0},
citedby = {0},
pages = {41-61},
booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019},
editor = {Goran Frehse and Matthias Althoff},
volume = {61},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}