Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search
Patrick Henriksen, Alessio Lomuscio
Topics & Concepts
Adversarial systemComputer scienceArtificial neural networkArtificial intelligenceAdversarial Robustness in Machine Learning