TY - CHAP A1 - Geretti, Luca A1 - Alexandre Dit Sandretto, Julien A1 - Althoff, Matthias A1 - Benet, Luis A1 - Chapoutot, Alexandre A1 - Chen, Xin A1 - Collins, Pieter A1 - Forets, Marcelo A1 - Freire, Daniel A1 - Immler, Fabian A1 - Kochdumper, Niklas A1 - Sanders, David P. A1 - Schilling, Christian ED - Frehse, Goran ED - Althoff, Matthias T1 - ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics T2 - ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) UR - https://doi.org/10.29007/zkf6 Y1 - 2020 UR - https://doi.org/10.29007/zkf6 SN - 2398-7340 VL - 74 SP - 49 EP - 75 PB - EasyChair CY - Bramhall ER - TY - CHAP A1 - Immler, Fabian A1 - Althoff, Matthias A1 - Benet, Luis A1 - Chapoutot, Alexandre A1 - Chen, Xin A1 - Forets, Marcelo A1 - Geretti, Luca A1 - Kochdumper, Niklas A1 - Sanders, David P. A1 - Schilling, Christian ED - Frehse, Goran ED - Althoff, Matthias T1 - ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics T2 - ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems UR - https://doi.org/10.29007/m75b Y1 - 2019 UR - https://doi.org/10.29007/m75b SN - 2398-7340 VL - 61 SP - 41 EP - 61 PB - EasyChair CY - Bramhall ER -