%0 Conference Paper %1 conf/arch/GerettiSABCDFKM22 %A Geretti, Luca %A Sandretto, Julien Alexandre Dit %A Althoff, Matthias %A Benet, Luis %A Collins, Pieter %A Duggirala, Parasara Sridhar %A Forets, Marcelo %A Kim, Edward %A Mitsch, Stefan %A Schilling, Christian %A Wetzlinger, Mark %B ARCH@SAFECOMP %D 2022 %E Frehse, Goran %E Althoff, Matthias %E Schoitsch, Erwin %E Guiochet, Jérémie %I EasyChair %K dblp %P 86-112 %T ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. %U http://dblp.uni-trier.de/db/conf/arch/arch2022.html#GerettiSABCDFKM22 %V 90

@inproceedings{conf/arch/GerettiSABCDFKM22, added-at = {2024-06-26T00:00:00.000+0200}, author = {Geretti, Luca and Sandretto, Julien Alexandre Dit and Althoff, Matthias and Benet, Luis and Collins, Pieter and Duggirala, Parasara Sridhar and Forets, Marcelo and Kim, Edward and Mitsch, Stefan and Schilling, Christian and Wetzlinger, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2d67cec7aad1ef45d0cb89790cb2dddbc/dblp}, booktitle = {ARCH@SAFECOMP}, crossref = {conf/arch/2022}, editor = {Frehse, Goran and Althoff, Matthias and Schoitsch, Erwin and Guiochet, Jérémie}, ee = {https://doi.org/10.29007/fnzc}, interhash = {30c5a0a8ac18fefb3e8937a2dbba0a07}, intrahash = {d67cec7aad1ef45d0cb89790cb2dddbc}, keywords = {dblp}, pages = {86-112}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-07-01T07:09:00.000+0200}, title = {ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/arch/arch2022.html#GerettiSABCDFKM22}, volume = 90, year = 2022 }