-
Notifications
You must be signed in to change notification settings - Fork 2
Home
-
Verisig: verifying safety properties of hybrid systems with neural network controllers. Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee.
-
Reachability analysis for neural feedback systems using regressive polynomial rule inference. Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan.
-
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. Hoang Dung Tran, Manzanas Lopez Diego, Patrick Musau, Taylor T. Johnson, Xenofon D Koutsoukos.
-
Robustness Verification of Support Vector Machines. Francesco Ranzato, Marco Zanella.
-
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson.
- NeuralVerification.jl -- Methods to verify DNNs in Julia
- NeuralOptimization.jl -- Compilation of ReLU network optimization algorithms in Julia
- NeuralVerifier.jl -- Verification of DNNs in Julia
- Adversarial.jl -- Adversarial attacks for DNNs written with FluxML
- ReachNNStar
- Sherlock
- Verisig
- NNV
- Planet
- DeepGO
- ERAN
- NNwithBernstein
- POLAR
- ARCH-COMP 2021 AI-NNCS: Proceedings, Benchmarks
- ARCH-COMP 2020 AI-NNCS: Proceedings, Benchmarks, Benchmarks (alternative), Benchmark selection
- ARCH-COMP 2019 AI-NNCS: Proceedings, Benchmarks, Benchmarks (alternative), Submissions
- NNet file format
- NeuralVerification.jl
- https://github.com/Verisig/verisig/tree/master/examples
- https://github.com/souradeep-111/sherlock
- https://github.com/verivital/nnv/tree/master/code/nnv/examples/NNCS/Sherlock-Benchmarks/Benchmark%207
- https://cps-vo.org/forum/75831
- https://github.com/rcpsl/ReluVerify
- https://github.com/souradeep-111/sherlock_2/tree/master/systems_with_networks
- https://files.sri.inf.ethz.ch/website/papers/DeepZ.pdf
- https://papers.nips.cc/paper/8278-fast-and-effective-robustness-certification
- http://elina.ethz.ch/
- https://github.com/amaleki2/benchmark_closedloop_verification
- https://dl.acm.org/doi/pdf/10.1145/3302504.3311802
- https://github.com/souradeep-111/sherlock_2/tree/master/systems_with_networks
- https://github.com/souradeep-111/Neural-Network-Controller-Verification-Benchmarks-HSCC-2019/blob/master/Benchmarks/Ex_7/NN_output.m
- https://github.com/verivital/ARCH-COMP19-AINNCS/tree/master/Benchmark%207
- https://github.com/verivital?page=2
- https://github.com/eth-sri/eran
- https://github.com/eth-sri/ELINA/pull/49
-
Mountain Car problem: missing: Add files, Case solving with IA (David's notebook), Case with and without splitting.
-
NN Controlled Dubins car, see also comment in ARCH-COMP, and the article Towards verification-aware knowledge distillation for neural-network controlled systems
- Hagan, Martin T., Howard B. Demuth, and Orlando De Jesús. "An introduction to the use of neural networks in control systems." International Journal of Robust and Nonlinear Control: IFAC‐Affiliated Journal 12.11 (2002): 959-985. pdf