Reluplex
From MaRDI portal
Software:43078
No author found.
Source code repository: https://github.com/guykatzz/ReluplexCav2017
Related Items (30)
DiffRNN: differential verification of recurrent neural networks ⋮ Robustness verification of quantum classifiers ⋮ \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks ⋮ Verisig 2.0: verification of neural network controllers using Taylor model preconditioning ⋮ Robustness verification of semantic segmentation neural networks using relaxed reachability ⋮ Static analysis of ReLU neural networks with tropical polyhedra ⋮ Exploiting verified neural networks via floating point numerical error ⋮ Verifying low-dimensional input neural networks via input quantization ⋮ Toward neural-network-guided program synthesis and verification ⋮ Reluplex: an efficient SMT solver for verifying deep neural networks ⋮ Bisimulations for neural network reduction ⋮ Unnamed Item ⋮ Verifying binarized neural networks by Angluin-style learning ⋮ Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks ⋮ Spanning attack: reinforce black-box attacks with unlabeled data ⋮ SyReNN: a tool for analyzing deep neural networks ⋮ Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter ⋮ A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability ⋮ Optimization problems for machine learning: a survey ⋮ A game-based approximate verification of deep neural networks with provable guarantees ⋮ Learning safe neural network controllers with barrier certificates ⋮ Advances in verification of ReLU neural networks ⋮ Strong mixed-integer programming formulations for trained neural networks ⋮ SDLV: verification of steering angle safety for self-driving cars ⋮ Enhancing robustness verification for deep neural networks via symbolic propagation ⋮ Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training ⋮ Sherlock - A tool for verification of neural network feedback systems ⋮ Reachability analysis of a general class of neural ordinary differential equations ⋮ A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems ⋮ Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes
This page was built for software: Reluplex
