Niklas Kochdumper

44 papers A* 1B 1Journal 17Unranked 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement.
Formal Methods Syst. Des.
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
2025 — conf
Robust Identification of Hybrid Automata from Noisy Data.
HSCC
Niklas Kochdumper, Mohammed Aristide Foughali, Peter Habermehl, Eugene Asarin
2025 J jnl
Underapproximative Methods for the Order Reduction of Zonotopes.
IEEE Control. Syst. Lett.
Laura Lützow, Niklas Kochdumper, Matthias Althoff
2024 — conf
Falsification using Reachability of Surrogate Koopman Models.
HSCC
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
2024 — conf
Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights.
ATVA (2)
Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
2024 A* conf
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets.
ICRA
Niklas Kochdumper, Stanley Bak
2024 J jnl
Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles.
CoRR
Niklas Kochdumper, Youran Wang, Johannes Betz, Matthias Althoff
2023 B conf
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.
ATVA
Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
2023 J jnl
Constrained polynomial zonotopes.
Acta Informatica
Niklas Kochdumper, Matthias Althoff
2023 J jnl
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets.
IEEE Trans. Autom. Control.
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2023 J jnl
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis.
CoRR
Niklas Kochdumper, Stanley Bak
2023 — conf
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions.
HSCC
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2023 — conf
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes.
NFM
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
2023 — conf
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.
HSCC
Ertai Luo, Niklas Kochdumper, Stanley Bak
2023 J jnl
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets.
CoRR
Niklas Kochdumper, Stanley Bak
2022 — conf
Conformant Synthesis for Koopman Operator Linearized Control Systems.
CDC
Niklas Kochdumper, Stanley Bak
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 J jnl
Formal Safety Net Control Using Backward Reachability Analysis.
IEEE Trans. Autom. Control.
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
2022 J jnl
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications.
Autom.
Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
2022 J jnl
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets.
CoRR
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2022 J jnl
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes.
CoRR
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
2022 J jnl
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes.
CoRR
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
2022 — conf
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement.
CAV (1)
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
2021 — conf
AROC: a toolbox for automated reachset optimal controller synthesis.
HSCC
Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff
2021 J jnl
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.
IEEE Trans. Autom. Control.
Niklas Kochdumper, Matthias Althoff
2021 — conf
Verification of Collision Avoidance for CommonRoad Traffic Scenarios.
ARCH@ADHS
Niklas Kochdumper, Philipp Gassert, Matthias Althoff
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
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
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH
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
2020 — conf
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.
CDC
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
2020 J jnl
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.
CoRR
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
2020 — conf
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems.
CDC
Niklas Kochdumper, Matthias Althoff
2020 — conf
Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets.
ISVLSI
Ahmad Tarraf, Lars Hedrich, Niklas Kochdumper, Malgorzata Rechmal-Lesse, Markus Olbrich
2020 — conf
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.
ASP-DAC
Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff
2020 J jnl
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications.
CoRR
Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
2020 — conf
Reachability analysis for hybrid systems with nonlinear guard sets.
HSCC
Niklas Kochdumper, Matthias Althoff
2020 — conf
Utilizing dependencies to obtain subsets of reachable sets.
HSCC
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSIoTWeek
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@CPSIoTWeek
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
2019 J jnl
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.
CoRR
Niklas Kochdumper, Matthias Althoff
2019 J jnl
Utilizing Dependencies to Obtain Subsets of Reachable Sets.
CoRR
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
2018 — conf
Implementation of Taylor models in CORA 2018.
ARCH@ADHS
Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper
2018 — conf
Reachset Model Predictive Control for Disturbed Nonlinear Systems.
CDC
Bastian Schürmann, Niklas Kochdumper, Matthias Althoff