ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Xin Chen 002; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@ADHS, 2018)

Implementation of Taylor models in CORA 2018. - Matthias Althoff; Dmitry Grebenyuk; Niklas Kochdumper (ARCH@ADHS, 2018)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Xin Chen 002; Chuchu Fan; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Mahendra Singh Tomar; Majid Zamani 001 (ARCH@ADHS, 2018)

Reachset Model Predictive Control for Disturbed Nonlinear Systems. - Bastian Schürmann; Niklas Kochdumper; Matthias Althoff (CDC, 2018)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

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 001; Christian Schilling 001; Stefan Schupp; et al. (ARCH, 2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. - Niklas Kochdumper; Ahmad Tarraf; Malgorzata Rechmal; Markus Olbrich; Lars Hedrich; Matthias Althoff (ASP-DAC, 2020)

Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. - Niklas Kochdumper; Matthias Althoff (CDC, 2020)

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

Reachability analysis for hybrid systems with nonlinear guard sets. - Niklas Kochdumper; Matthias Althoff (HSCC, 2020)

Utilizing dependencies to obtain subsets of reachable sets. - Niklas Kochdumper; Bastian Schürmann; Matthias Althoff (HSCC, 2020)

Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets. - Ahmad Tarraf; Lars Hedrich; Niklas Kochdumper; Malgorzata Rechmal-Lesse; Markus Olbrich (ISVLSI, 2020)

Verification of Collision Avoidance for CommonRoad Traffic Scenarios. - Niklas Kochdumper; Philipp Gassert; Matthias Althoff (ARCH@ADHS, 2021)

AROC: a toolbox for automated reachset optimal controller synthesis. - Niklas Kochdumper; Felix Gruber; Bastian Schürmann; Victor Gaßmann; Moritz Klischat; Matthias Althoff (HSCC, 2021)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. - Niklas Kochdumper; Matthias Althoff (IEEE Trans. Autom. Control., 2021)

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. - Stanley Bak; Sergiy Bogomolov; Brandon Hencey; Niklas Kochdumper; Ethan Lew; Kostiantyn Potomkin (CAV (1), 2022)

Conformant Synthesis for Koopman Operator Linearized Control Systems. - Niklas Kochdumper; Stanley Bak (CDC, 2022)

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. - Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo Jr. 002 (Autom., 2022)

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. - Niklas Kochdumper; Hanna Krasowski; Xiao Wang 046; Stanley Bak; Matthias Althoff (CoRR, 2022)

Formal Safety Net Control Using Backward Reachability Analysis. - Bastian Schürmann; Moritz Klischat; Niklas Kochdumper; Matthias Althoff (IEEE Trans. Autom. Control., 2022)

Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems (Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen) - Niklas Kochdumper (2022)

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. - Ethan Lew; Abdelrahman Hekal; Kostiantyn Potomkin; Niklas Kochdumper; Brandon Hencey; Stanley Bak; Sergiy Bogomolov (ATVA, 2023)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. - Ertai Luo; Niklas Kochdumper; Stanley Bak (HSCC, 2023)

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (HSCC, 2023)

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. - Niklas Kochdumper; Christian Schilling 001; Matthias Althoff; Stanley Bak (NFM, 2023)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis. - Niklas Kochdumper; Stanley Bak (CoRR, 2023)

Constrained polynomial zonotopes. - Niklas Kochdumper; Matthias Althoff (Acta Informatica, 2023)

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)

Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights. - Stanley Bak; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati (ATVA (2), 2024)

Falsification using Reachability of Surrogate Koopman Models. - Stanley Bak; Sergiy Bogomolov; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati (HSCC, 2024)

Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. - Niklas Kochdumper; Stanley Bak (ICRA, 2024)

Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles. - Niklas Kochdumper; Youran Wang; Johannes Betz; Matthias Althoff (CoRR, 2024)

Robust Identification of Hybrid Automata from Noisy Data. - Niklas Kochdumper; Mohammed Aristide Foughali; Peter Habermehl; Eugene Asarin (HSCC, 2025)

Underapproximative Methods for the Order Reduction of Zonotopes. - Laura Lützow; Niklas Kochdumper; Matthias Althoff (IEEE Control. Syst. Lett., 2025)

Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement. - Stanley Bak; Sergiy Bogomolov; Brandon Hencey; Niklas Kochdumper; Ethan Lew; Kostiantyn Potomkin (Formal Methods Syst. Des., 2025)