Marabou
From MaRDI portal
Software:43079
swMATH31368MaRDI QIDQ43079FDOQ43079
Author name not available (Why is that?)
Official website: https://rd.springer.com/chapter/10.1007/978-3-030-25540-4_26
Source code repository: https://github.com/NeuralNetworkVerification/Marabou
Cited In (17)
- Enhancing robustness verification for deep neural networks via symbolic propagation
- 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
- DeepXplore
- TensorFuzz
- An SMT-based approach for verifying binarized neural networks
- Static analysis of ReLU neural networks with tropical polyhedra
- Apollo
- Model Predictive Control Toolbox
- LIPSAT
- MixTrain
- PaRoT
- Reluplex
- SkipNet
- Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
- Reachability analysis of a general class of neural ordinary differential equations
This page was built for software: Marabou
