NNV

MaRDI QIDQ44250swMATHFDO

Official website https://arxiv.org/abs/2004.05519

Source code repository https://github.com/verivital/nnv/

Cited in

(29)

• Verisig
• GoTube
• nnenum
• NNVODE
• Sherlock
• RecurJac
• Safety Gym
• ReachNN
• Kaa
• POPQORN
• ToolboxLS
• Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
• Reachability analysis of a general class of neural ordinary differential equations
• Verifying low-dimensional input neural networks via input quantization
• Pyhybridanalysis
• HYST
• Model Predictive Control Toolbox
• CORA
• JuliaReach
• Reluplex
• Marabou
• VERIFAI
• AI2
• Learning safe neural network controllers with barrier certificates
• NNRepair
• DeepSplit
• Scenic
• Veritex
• Robustness verification of quantum classifiers

This page was built for software: NNV