@inproceedings{GerettiAlexandreDitSandrettoAlthoffetal.2020, author = {Geretti, Luca and Alexandre Dit Sandretto, Julien and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Collins, Pieter and Forets, Marcelo and Freire, Daniel and Immler, Fabian and Kochdumper, Niklas and Sanders, David P. and Schilling, Christian}, title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics}, volume = {74}, booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)}, editor = {Frehse, Goran and Althoff, Matthias}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/zkf6}, pages = {49 -- 75}, year = {2020}, language = {en} } @inproceedings{ImmlerAlthoffBenetetal.2019, author = {Immler, Fabian and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Forets, Marcelo and Geretti, Luca and Kochdumper, Niklas and Sanders, David P. and Schilling, Christian}, title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics}, volume = {61}, booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems}, editor = {Frehse, Goran and Althoff, Matthias}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/m75b}, pages = {41 -- 61}, year = {2019}, language = {en} }