Niklas Kochdumper
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ATVA | Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights. | Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati |
| 2024 | ICRA | Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. | Niklas Kochdumper, Stanley Bak |
| 2023 | ATVA | 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 |
| 2022 | CAV | 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 |
| 2020 | ASPDAC | Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. | Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff |