%0 Conference Paper %1 conf/arch/GerettiSABCCDFK21 %A Geretti, Luca %A Sandretto, Julien Alexandre Dit %A Althoff, Matthias %A Benet, Luis %A Chapoutot, Alexandre %A Collins, Pieter %A Duggirala, Parasara Sridhar %A Forets, Marcelo %A Kim, Edward %A Linares, Uziel %A Sanders, David P. %A Schilling, Christian %A Wetzlinger, Mark %B ARCH@ADHS %D 2021 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 32-54 %T ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. %U http://dblp.uni-trier.de/db/conf/arch/arch2021.html#GerettiSABCCDFK21 %V 80

@inproceedings{conf/arch/GerettiSABCCDFK21, added-at = {2022-04-09T00:00:00.000+0200}, author = {Geretti, Luca and Sandretto, Julien Alexandre Dit and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Collins, Pieter and Duggirala, Parasara Sridhar and Forets, Marcelo and Kim, Edward and Linares, Uziel and Sanders, David P. and Schilling, Christian and Wetzlinger, Mark}, biburl = {https://www.bibsonomy.org/bibtex/20bd3a1fc7ef07d191335aa1c4737ad30/dblp}, booktitle = {ARCH@ADHS}, crossref = {conf/arch/2021}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/2jw8}, interhash = {4de69fe6e672a480f6e248825e4962b0}, intrahash = {0bd3a1fc7ef07d191335aa1c4737ad30}, keywords = {dblp}, pages = {32-54}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T11:51:51.000+0200}, title = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/arch/arch2021.html#GerettiSABCCDFK21}, volume = 80, year = 2021 }