This repo contains a set of benchmark problems for verification problem of closed loop system that are controlled by neural network system. The examples are used as part of the ARCH-COMP 2020 Compeition: see the report

For details of the examples see AINNC_benchmark.pdf for more details.