Topic: "safe-autonomy"
verivital/nnv
Neural Network Verification Software Tool
Language: MATLAB - Size: 2.77 GB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 122 - Forks: 51
Related Topics
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
trustworthy-ai
1
trustworthy-machine-learning
1
verification
1