NNV
From MaRDI portal
Software:44250
swMATH32539MaRDI QIDQ44250FDOQ44250
Author name not available (Why is that?)
Source code repository: https://github.com/verivital/nnv/
Cited In (5)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- Robustness verification of quantum classifiers
- Verifying low-dimensional input neural networks via input quantization
- Learning safe neural network controllers with barrier certificates
- Reachability analysis of a general class of neural ordinary differential equations
This page was built for software: NNV
