Picture for Niklas Kochdumper

Niklas Kochdumper

Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets

Add code
Sep 21, 2023
Viaarxiv icon

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes

Add code
Oct 19, 2022
Figure 1 for Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
Figure 2 for Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
Figure 3 for Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
Figure 4 for Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
Viaarxiv icon

Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

Add code
Jul 06, 2022
Figure 1 for Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Figure 2 for Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Figure 3 for Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Figure 4 for Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Viaarxiv icon