VERIFAI
From MaRDI portal
Software:44261
No author found.
Source code repository: https://github.com/BerkeleyLearnVerify/VerifAI
Related Items (3)
Robustness verification of quantum classifiers ⋮ Robustness verification of semantic segmentation neural networks using relaxed reachability ⋮ Learning safe neural network controllers with barrier certificates
This page was built for software: VERIFAI
