research
∙
09/21/2023
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets
Despite large advances in recent years, real-time capable motion plannin...
share
research
∙
06/07/2023
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
While reachability analysis is one of the most promising approaches for ...
research
∙
10/19/2022
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
While reinforcement learning produces very promising results for many ap...
research
∙
09/19/2022
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
Reachability analysis is a formal method to guarantee safety of dynamica...
research
∙
07/06/2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
We present a novel approach to efficiently compute tight non-convex encl...
research
∙
06/22/2020