@misc{indiciae893eed648dc7,
  title = {Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation},
  author = {Yuh-Shyang Wang and Tsui-Wei Weng and Luca Daniel},
  year = {2019},
  url = {https://arxiv.org/abs/1908.06353},
  note = {Source identifier: 1908.06353}
}