API Reference

Function and class reference for the NNV MATLAB toolbox. Each page documents constructor signatures, properties, methods, and usage examples.

---

NN Class

The main neural network class: reach, evaluate, verify_robustness, verify_vnnlib, classify, falsify.

NN Class

GNN Class

Graph neural network class: reach, evaluate, setGraph for GCN and GINE architectures.

GNN Class

Set Types

Star, ImageStar, VolumeStar, GraphStar, Zono, Box, HalfSpace – constructors, methods, and properties.

Set Types

Layer Types

All 48 layer types: constructors, evaluate, and reach signatures grouped by category.

Layer Types

Control Systems

LinearODE, NonLinearODE, LinearNNCS, NonlinearNNCS – plant models and closed-loop composition.

Control Systems

Utilities

matlab2nnv, onnx2nnv, load_vnnlib, verify_specification, lpsolver, check_nnv_setup, and more.

Utilities

reachOptions

Complete reference for the reachOptions struct: all fields, types, defaults, and descriptions.

reachOptions Reference