Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems

7 April 2023

Papers citing "Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems"

5 / 5 papers shown

Title
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification Oliver Schon Shammakh Naseer B. Wooding Sadegh Soudjani 37 1 0 15 Jul 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis Sina Sharifi Mahyar Fazlyab 54 0 0 06 Jun 2024
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 31 12 0 27 Jul 2023
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 41 6 0 01 Nov 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 28 33 0 06 Jul 2022