bnb-nn-verification

This repository constains the code for ReachLipBnB. This framework is a branch and bound based method for neural network reachability analysis introduced by Taha Entesari, Sina Sharifi and Mahyar Fazlyab. This work will be presented at ICRA 2023.

Installation Requirements

pip install torch
pip install cvxpy
pip install polytope

Usage

As a simple example, you could use the .json files in ./Config folder in order to run some test examples. In order to do so, you can set the parameter filename in run.py and the run the code:

python3 run.py