research
∙
09/16/2023
Forward Invariance in Neural Network Controlled Systems
We present a framework based on interval analysis and monotone systems t...
share
research
∙
07/27/2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
In this paper, we propose a computationally efficient framework for inte...
research
∙
06/27/2023
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems
In this paper, we present a toolbox for interval analysis in numpy, with...
research
∙
04/07/2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
In this paper, we present a contraction-guided adaptive partitioning alg...
research
∙
01/19/2023