Yuh-Shyang Wang

Neural Network Control Policy Verification With Persistent Adversarial Perturbation

Deep neural networks are known to be fragile to small adversarial perturbations, which raises serious concerns when a neural network policy is interconnected with a physical system in a closed loop. In this paper, we show how to combine recent works on static neural network certification tools with…