GitHub topics: neural-network-certification
verivital/nnv
Neural Network Verification Software Tool
Language: MATLAB - Size: 2.97 GB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 130 - Forks: 54
Related Keywords
assured-autonomy
1
autonomy
1
cyber-physical
1
cyber-physical-systems
1
formal-methods
1
formal-verification
1
hybrid-systems
1
neural-network
1
neural-network-certification
1
neural-network-verification
1
reachability
1
reachability-analysis
1
robustness-verification
1
safe-ai
1
safe-autonomy
1
trustworthy-ai
1
trustworthy-machine-learning
1
verification
1