The following publications are possibly variants of this publication:
- ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. arch 2021: 1-31 [doi]
- ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems PlantsTaylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling 0001, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee. arch 2021: 90-119 [doi]
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsFabian Immler, Matthias Althoff, Xin Chen 0002, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani. adhs 2018: 53-70 [doi]
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsFabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling. cpsweek 2019: 41-61 [doi]
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsLuca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling 0001. arch 2020: 49-75 [doi]
- ARCH-COMP17 Category Report: Continuous Systems with Nonlinear DynamicsXin Chen 0002, Matthias Althoff, Fabian Immler. cpsweek 2017: 160-169 [doi]
- ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen 0002, Goran Frehse, Rajarshi Ray, Stefan Schupp. cpsweek 2017: 143-159 [doi]
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. cpsweek 2019: 14-40 [doi]
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Xin Chen 0002, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. adhs 2018: 23-52 [doi]