-
Notifications
You must be signed in to change notification settings - Fork 3
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.
- 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
- 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