NeuralNetworkAnalysis.jl
Methods to verify neural network control systems using reachability analysis
Links
- Proceedings of ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
- https://github.com/verivital/nnv/tree/master/code/nnv/examples/Submission/ARCH_COMP2020
- Repo with benchmark models (2020)
- Proceedings of ARCH-COMP 2019 AI-NNCS
- Repo with benchmark models (2019)
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