verivital/nnv

Neural Network Verification Software Tool https://www.verivital.com Documentation:

语言：MATLAB · GitHub 星标：147 · Fork：64

话题：assured-autonomy · autonomy · cyber-physical · cyber-physical-systems · formal-methods · formal-verification · hybrid-systems · neural-network

在 GitHub 上查看原仓库