MATLAB (>2017b)
NNV and its dependencies
Simulink (>9.0)
Stateflow
The last 2 are only needed in order to execute Simulink models.
Before executing any code, please install NNV, instructions can be found here.
Run startup_nnv.m before running any files. Also need to add the functions to MATLAB path: Open a MATLAB terminal and run the following under the AcasXu directory:
addpath(('main');
addpath(genpath(other/functions));(Optional) Copy all the files under the utils folder, and copy into the your MATLAB root folder under the specific toolbox. An example: /usr/local/MATLAB/R2018b/toolbox/nnet/nnet/nntransfer .
Properties: contains descriptions of 10 open-loop safety properties to verify.
main: core of this work. Contains the core reachability and simulation scripts, as well as all the functions to run them.
other: contains multiple reachability, simulation and miscellanious code to test the ACAS Xu NNCS.
networks: all 45 AcasXu NNs in ONNX, nnet and NNV format and as Simulink blocks.
simulation: Simulink models of the AcasXu closedloop system.
utils: extra functions and required scripts to run certain simulation scripts (not needed for main code).
Please, feel free to contact Diego Manzanas for any questions