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 - Althoff, Matthias A1 - Bak, Stanley A1 - Bao, Zongnan A1 - Forets, Marcelo A1 - Frehse, Goran A1 - Freire, Daniel A1 - Kochdumper, Niklas A1 - Li, Yangge A1 - Mitra, Sayan A1 - Ray, Rajarshi A1 - Schilling, Christian A1 - Schupp, Stefan A1 - Wetzlinger, Mark ED - Frehse, Goran ED - Althoff, Matthias T1 - ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics T2 - ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) UR - https://doi.org/10.29007/7dt2 Y1 - 2020 UR - https://doi.org/10.29007/7dt2 SN - 2398-7340 VL - 74 SP - 16 EP - 48 PB - EasyChair CY - Bramhall ER - TY - CHAP A1 - Althoff, Matthias A1 - Bak, Stanley A1 - Chen, Xin A1 - Fan, Chuchu A1 - Forets, Marcelo A1 - Frehse, Goran A1 - Kochdumper, Niklas A1 - Li, Yangge A1 - Mitra, Sayan A1 - Ray, Rajarshi A1 - Schilling, Christian A1 - Schupp, Stefan ED - Frehse, Goran T1 - ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics T2 - ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems UR - https://doi.org/10.29007/73mb Y1 - 2018 UR - https://doi.org/10.29007/73mb SN - 2398-7340 VL - 54 SP - 23 EP - 52 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 - TY - CHAP A1 - Althoff, Matthias A1 - Bak, Stanley A1 - Forets, Marcelo A1 - Frehse, Goran A1 - Kochdumper, Niklas A1 - Ray, Rajarshi A1 - Schilling, Christian A1 - Schupp, Stefan ED - Frehse, Goran ED - Althoff, Matthias T1 - ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics T2 - ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems UR - https://doi.org/10.29007/bj1w Y1 - 2019 UR - https://doi.org/10.29007/bj1w SN - 2398-7340 VL - 61 SP - 14 EP - 40 PB - EasyChair CY - Bramhall ER -