Methods to verify neural network controlled systems using reachability analysis
Author JuliaReach
13 Stars
Updated Last
2 Years Ago
Started In
January 2020


Build Status Documentation license Join the chat at

Methods to verify neural network control systems using reachability analysis

⚠️ This package is still a work-in-progress.


Related tools

  • see also the wiki entry on related tools

  • NeuralVerification.jl -- Methods to soundly verify deep neural networks

  • ReachNNStar -- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)

  • NeuralOptimization.jl -- A compilation of ReLU network optimization algorithms.

  • sherlock -- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.

  • NeuralVerifier.jl -- Formal Verification of Deep Neural Networks in Julia

  • Adversarial.jl -- Adversarial attacks for Neural Networks written with FluxML