Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling 0001, Mark Wetzlinger. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Goran Frehse, Matthias Althoff, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Volume 80 of EPiC Series in Computing, pages 32-54, EasyChair, 2021. [doi]
@inproceedings{GerettiSABCCDFK21,
title = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
author = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Pieter Collins and Parasara Sridhar Duggirala and Marcelo Forets and Edward Kim and Uziel Linares and David P. Sanders and Christian Schilling 0001 and Mark Wetzlinger},
year = {2021},
doi = {10.29007/2jw8},
url = {https://doi.org/10.29007/2jw8},
researchr = {https://researchr.org/publication/GerettiSABCCDFK21},
cites = {0},
citedby = {0},
pages = {32-54},
booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
editor = {Goran Frehse and Matthias Althoff},
volume = {80},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}