Niklas Kochdumper

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 38

Top Topics

Predictive Control

Reachability Analysis

Collision Avoidance

Top Venues

Publications

Niklas Kochdumper, Stanley Bak
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. ICRA (2024)
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
Falsification using Reachability of Surrogate Koopman Models. HSCC (2024)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets. IEEE Trans. Autom. Control. 68 (12) (2023)
Niklas Kochdumper, Matthias Althoff
Constrained polynomial zonotopes. Acta Informatica 60 (3) (2023)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC (2023)
Niklas Kochdumper, Stanley Bak
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. CoRR (2023)
Ertai Luo, Niklas Kochdumper, Stanley Bak
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. HSCC (2023)
Niklas Kochdumper, Stanley Bak
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis. CoRR (2023)
Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ATVA (2023)
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR (2022)
Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. Autom. 139 (2022)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR (2022)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. CoRR (2022)
Niklas Kochdumper, Stanley Bak
Conformant Synthesis for Koopman Operator Linearized Control Systems. CDC (2022)
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. CAV (1) (2022)
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
Formal Safety Net Control Using Backward Reachability Analysis. IEEE Trans. Autom. Control. 67 (11) (2022)
Niklas Kochdumper, Philipp Gassert, Matthias Althoff
Verification of Collision Avoidance for CommonRoad Traffic Scenarios. ARCH@ADHS (2021)
Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff
AROC: a toolbox for automated reachset optimal controller synthesis. HSCC (2021)
Niklas Kochdumper, Matthias Althoff
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. IEEE Trans. Autom. Control. 66 (9) (2021)
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CDC (2020)
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CoRR (2020)
Cees F. Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. CoRR (2020)
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Ahmad Tarraf, Lars Hedrich, Niklas Kochdumper, Malgorzata Rechmal-Lesse, Markus Olbrich
Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets. ISVLSI (2020)
Niklas Kochdumper, Matthias Althoff
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. CDC (2020)
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
Utilizing dependencies to obtain subsets of reachable sets. HSCC (2020)
Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. ASP-DAC (2020)
Niklas Kochdumper, Matthias Althoff
Reachability analysis for hybrid systems with nonlinear guard sets. HSCC (2020)
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek (2019)
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek (2019)
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
Utilizing Dependencies to Obtain Subsets of Reachable Sets. CoRR (2019)
Niklas Kochdumper, Matthias Althoff
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. CoRR (2019)
Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper
Implementation of Taylor models in CORA 2018. ARCH@ADHS (2018)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2018)
Bastian Schürmann, Niklas Kochdumper, Matthias Althoff
Reachset Model Predictive Control for Disturbed Nonlinear Systems. CDC (2018)