TY - RPRT TI - A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability AU - Xiaowei Huang AU - Daniel Kroening AU - Wenjie Ruan AU - James Sharp AU - Youcheng Sun AU - Emese Thamo AU - Min Wu AU - Xinping Yi PY - 2020 UR - https://arxiv.org/abs/1812.08342 ID - 1812.08342 ER -