Marabou
From MaRDI portal
Software:43079
No author found.
Source code repository: https://github.com/NeuralNetworkVerification/Marabou
Related Items (8)
DiffRNN: differential verification of recurrent neural networks ⋮ \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks ⋮ Robustness verification of semantic segmentation neural networks using relaxed reachability ⋮ Static analysis of ReLU neural networks with tropical polyhedra ⋮ An SMT-based approach for verifying binarized neural networks ⋮ Exploiting augmented intelligence in the modeling of safety-critical autonomous systems ⋮ Enhancing robustness verification for deep neural networks via symbolic propagation ⋮ Reachability analysis of a general class of neural ordinary differential equations
This page was built for software: Marabou
