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
∙
05/17/2023
On the Difficulty of Intersection Checking with Polynomial Zonotopes
Polynomial zonotopes, a non-convex set representation, have a wide range...
research
∙
01/14/2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
This paper presents a summary and meta-analysis of the first three itera...
research
∙
12/20/2022
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
This report summarizes the 3rd International Verification of Neural Netw...
research
∙
12/16/2022
Provable Fairness for Neural Network Models using Formal Verification
Machine learning models are increasingly deployed for critical decision-...
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
∙
01/17/2022
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
ACAS Xu is an air-to-air collision avoidance system designed for unmanne...
research
∙
10/03/2021
Stress Testing Autonomous Racing Overtake Maneuvers with RRT
High-performance autonomy often must operate at the boundaries of safety...
research
∙
08/31/2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
This report summarizes the second International Verification of Neural N...
research
∙
02/24/2021
Safe CPS from Unsafe Controllers
In this paper, we explore using runtime verification to design safe cybe...
research
∙
04/12/2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
This paper presents the Neural Network Verification (NNV) software tool,...
research
∙
04/12/2020
Verification of Deep Convolutional Neural Networks Using ImageStars
Convolutional Neural Networks (CNN) have redefined the state-of-the-art ...
research
∙
01/29/2019
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report)
Collision detection algorithms are used in aerospace, swarm robotics, au...
research
∙
06/24/2018
Cyber-Physical Specification Mismatches
Embedded systems use increasingly complex software and are evolving into...
research
∙
04/04/2018