swMATH40547MaRDI QIDQ56247FDOQ56247
Author name not available (Why is that?)
Official website: https://ieeexplore.ieee.org/document/8418593
Cited In (58)
- DeepSplit
- DIMBA
- PRoA
- Pomp++
- DiffRNN
- GUAP
- XPOMCP
- Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
- DeepGauge
- NeuroDiff
- ReluDiff
- Toward neural-network-guided program synthesis and verification
- DiffRNN: differential verification of recurrent neural networks
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- SyReNN: a tool for analyzing deep neural networks
- DeepMutation
- Sherlock
- DeepXplore
- POPQORN
- ReachNN
- TensorFuzz
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
- Advances in verification of ReLU neural networks
- Exploiting verified neural networks via floating point numerical error
- Static analysis of ReLU neural networks with tropical polyhedra
- NeVer
- TACO
- DeepFool
- SReach
- AI-Toolbox
- FPTuner
- vZ
- REBA
- ONNX
- Marabou
- Reluplex
- NNV
- VERIFAI
- CRN++
- Imandra
- PRECiSA
- Daisy
- DynAlloy
- nncontroller
- DL2
- FastGRNN
- gRPC
- Shiftry
- SyReNN
- Adv-BNN
- nnenum
- DeepProbLog
- Verisig
- RecurJac
- DLFuzz
- CLN2INV
- NNRepair
- Veritex
This page was built for software: AI2
