Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation

Open in new window