GitHub repository: JuliaReach/NeuralNetworkAnalysis.jl
Primary language: Julia
Description: Methods to verify neural network controlled systems using reachability analysis