swMATH32539MaRDI QIDQ44250FDOQ44250
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/2004.05519
Source code repository: https://github.com/verivital/nnv/
Cited In (29)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- DeepSplit
- Scenic
- Robustness verification of quantum classifiers
- Sherlock
- POPQORN
- ReachNN
- Verifying low-dimensional input neural networks via input quantization
- ToolboxLS
- Pyhybridanalysis
- HYST
- Model Predictive Control Toolbox
- CORA
- JuliaReach
- Marabou
- Reluplex
- VERIFAI
- AI2
- GoTube
- nnenum
- NNVODE
- Verisig
- RecurJac
- Kaa
- Safety Gym
- Learning safe neural network controllers with barrier certificates
- NNRepair
- Veritex
- Reachability analysis of a general class of neural ordinary differential equations
This page was built for software: NNV
