Niklas Kochdumper

Available identifiers

Publication	Date of Publication	Type
Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis	2024-07-30	Paper
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets	2024-02-29	Paper
AROC	2024-02-21	Paper
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions	2024-02-21	Paper
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes	2024-02-21	Paper
Formal Safety Net Control Using Backward Reachability Analysis	2023-09-25	Paper
Constrained polynomial zonotopes	2023-08-16	Paper
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement	2022-12-07	Paper
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications	2022-03-18	Paper
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis	2021-09-09	Paper
Reachability analysis for hybrid systems with nonlinear guard sets	2021-01-25	Paper
Utilizing dependencies to obtain subsets of reachable sets	2021-01-25	Paper
Representation of Polytopes as Polynomial Zonotopes	2019-10-16	Paper
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems	N/A	Paper

This page was built for person: Niklas Kochdumper