TY  - RPRT
TI  - A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
AU  - Min Wu
AU  - Matthew Wicker
AU  - Wenjie Ruan
AU  - Xiaowei Huang
AU  - Marta Kwiatkowska
PY  - 2019
DO  - 10.1016/j.tcs.2019.05.046
UR  - https://arxiv.org/abs/1807.03571
ID  - 1807.03571
ER  -