%0 Conference Paper %1 conf/arch/GerettiSABCFILM23 %A Geretti, Luca %A Sandretto, Julien Alexandre Dit %A Althoff, Matthias %A Benet, Luis %A Collins, Pieter %A Forets, Marcelo %A Ivanova, Elena %A Li, Yangge %A Mitra, Sayan %A Mitsch, Stefan %A Schilling, Christian %A Wetzlinger, Mark %A Zhuang, Daniel %B ARCH %D 2023 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 61-88 %T ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. %U http://dblp.uni-trier.de/db/conf/arch/arch2023.html#GerettiSABCFILM23 %V 96

@inproceedings{conf/arch/GerettiSABCFILM23, 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 Forets, Marcelo and Ivanova, Elena and Li, Yangge and Mitra, Sayan and Mitsch, Stefan and Schilling, Christian and Wetzlinger, Mark and Zhuang, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2b4c8f207b6edef2661caa48edac380c5/dblp}, booktitle = {ARCH}, crossref = {conf/arch/2023}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/93f2}, interhash = {111487e61010175a314c0907f0b1da58}, intrahash = {b4c8f207b6edef2661caa48edac380c5}, keywords = {dblp}, pages = {61-88}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-07-01T07:08:49.000+0200}, title = {ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/arch/arch2023.html#GerettiSABCFILM23}, volume = 96, year = 2023 }