@article{WWR+19,
  author    = {Wu, Min and Wicker, Matthew and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta },
  title     = {A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees},
  journal   = {{T}heoretical {C}omputer {S}cience},
  volume    = {},
  year      = {2019},
  note={}
}