Picture for Stanley Bak

Stanley Bak

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling

Add code
May 28, 2024
Viaarxiv icon

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Add code
Dec 28, 2023
Viaarxiv icon

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

Add code
Sep 21, 2023
Viaarxiv icon

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

Add code
Jan 14, 2023
Viaarxiv icon

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Add code
Dec 20, 2022
Viaarxiv icon

Provable Fairness for Neural Network Models using Formal Verification

Add code
Dec 16, 2022
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

Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability

Add code
Jan 26, 2022
Figure 1 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Figure 2 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Figure 3 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Figure 4 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Viaarxiv icon

Stress Testing Autonomous Racing Overtake Maneuvers with RRT

Add code
Oct 03, 2021
Figure 1 for Stress Testing Autonomous Racing Overtake Maneuvers with RRT
Figure 2 for Stress Testing Autonomous Racing Overtake Maneuvers with RRT
Figure 3 for Stress Testing Autonomous Racing Overtake Maneuvers with RRT
Figure 4 for Stress Testing Autonomous Racing Overtake Maneuvers with RRT
Viaarxiv icon