Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation

Yuh-Shyang Wang, Tsui-Wei Weng, Luca Daniel

Deep neural networks are known to be fragile to small adversarial perturbations. This issue becomes more critical when a neural network is interconnected with a physical system in…