79 citations · 216 across the 12 of their papers we have counts for
3 papers · 1 filter
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
Niklas Kochdumper, Hanna Krasowski, Xiao Wang +2
While reinforcement learning produces very promising results for many applications, its main disadvantage is the lack of safety guarantees, which prevents its use in safety-critica…
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak +1
Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is t…
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Niklas Kochdumper, Christian Schilling, Matthias Althoff +1
We present a novel approach to efficiently compute tight non-convex enclosures of the image through neural networks with ReLU, sigmoid, or hyperbolic tangent activation functions.…