Search Results for author:
Found 18 papers, 7 papers with code
Finding Unknown Unknowns using Cyber-Physical System Simulators (Extended Report)
Simulation-based approaches are among the most practical means to search for safety violations, bugs, and other unexpected events in cyber-physical systems (CPS).
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
This report summarizes the 5th International Verification of Neural Networks Competition (VNN-COMP 2024), held as a part of the 7th International Symposium on AI Verification (SAIV), that was collocated with the 36th International Conference on Computer-Aided Verification (CAV).
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
We present a reachability algorithm for linear systems with uncertain parameters and inputs using set propagation of polynomial zonotopes.
Verification of Neural Network Control Systems in Continuous Time
We accomplish this by adding a level of abstraction to model the neural network controller.
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
We demonstrate the effectiveness of our approach in terms of both accuracy and scalability using two case studies: an autonomous aircraft taxiing system and an advanced emergency braking system.
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
This report summarizes the 4th International Verification of Neural Networks Competition (VNN-COMP 2023), held as a part of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), that was collocated with the 35th International Conference on Computer-Aided Verification (CAV).
On the Difficulty of Intersection Checking with Polynomial Zonotopes
The standard method for intersection checking with polynomial zonotopes is a two-part algorithm that overapproximates a polynomial zonotope with a regular zonotope and then, if the overapproximation error is deemed too large, splits the set and recursively tries again.
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 iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022.
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), which was collocated with the 34th International Conference on Computer-Aided Verification (CAV).
Provable Fairness for Neural Network Models using Formal Verification
Machine learning models are increasingly deployed for critical decision-making tasks, making it important to verify that they do not contain gender or racial biases picked up from training data.
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
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-critical systems.
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
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.
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Analysis of this system has spurred a significant body of research in the formal methods community on neural network verification.
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conference on Computer-Aided Verification (CAV).
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
To this end, we investigate two techniques for generating the template directions.
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task.
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
For learning-enabled CPS, such as closed-loop control systems incorporating neural networks, NNV provides exact and over-approximate reachability analysis schemes for linear plant models and FFNN controllers with piecewise-linear activation functions, such as ReLUs.
Verification of Deep Convolutional Neural Networks Using ImageStars
Set-based analysis methods can detect or prove the absence of bounded adversarial attacks, which can then be used to evaluate the effectiveness of neural network training methodology.
