Home

References

• 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.

• Algorithms for verifying deep neural networks

Tools

• Verisig
• Sherlock
• NNV

ARCH-COMP

• ARCH-COMP 2019 AINNCS report
• Problems: https://github.com/verivital/ARCH-2019
• RE: https://github.com/verivital/ARCH-COMP19-AINNCS
• Main RE repo: https://gitlab.com/goranf/ARCH-COMP/-/tree/master/2019/AINNCS
• https://github.com/verivital/ARCH-COMP2020
• https://github.com/amaleki2/benchmark_closedloop_verification

Neural networks

• AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. T. Gehr et al

More links

• 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/verivital/ARCH-2019
• https://github.com/eth-sri/eran
• https://github.com/eth-sri/ELINA/pull/49