TY - RPRT TI - Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation AU - Yuh-Shyang Wang AU - Tsui-Wei Weng AU - Luca Daniel PY - 2019 UR - https://arxiv.org/abs/1908.06353 ID - 1908.06353 ER -