NeuralNetworkAnalysis.jl

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

NeuralNetworkAnalysis.jl

Build Status Documentation license Join the chat at https://gitter.im/JuliaReach/Lobby

Methods to verify neural network control systems using reachability analysis

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

Links

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