Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference - Mark Wetzlinger; Adrian Kulmburg; Matthias Althoff (IEEE Control. Syst. Lett., 2024)

Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (IEEE Trans. Autom. Control., 2023)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - Matthias Althoff; Marcelo Forets; Yangge Li; Sayan Mitra; Christian Schilling; Mark Wetzlinger; Daniel Zhuang (Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023, 2023)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling; Mark Wetzlinger; et al. (Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023, 2023)

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, 2023)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation - Mark Wetzlinger; Matthias Althoff (CoRR, 2023)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - Matthias Althoff; Marcelo Forets; Christian Schilling; Mark Wetzlinger (Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022, 2022)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling; Mark Wetzlinger (Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022, 2022)

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (CoRR, 2022)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - Matthias Althoff; Erika Ábrahám; Marcelo Forets; Goran Frehse; Daniel Freire; Christian Schilling; Stefan Schupp; Mark Wetzlinger (8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021, 2021)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling; et al. (8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021, 2021)

Adaptive parameter tuning for reachability analysis of nonlinear systems - Mark Wetzlinger; Adrian Kulmburg; Matthias Althoff (HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, 2021)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - Matthias Althoff; Stanley Bak; Zongnan Bao; Marcelo Forets; Goran Frehse; Daniel Freire; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray; Christian Schilling; Stefan Schupp; et al. (ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020, 2020)

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems - Mark Wetzlinger; Niklas Kochdumper; Matthias Althoff (59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, 2020)

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems - Mark Wetzlinger; Niklas Kochdumper; Matthias Althoff (CoRR, 2020)