Safety and Trustworthiness of Deep Neural Networks: A Survey
with Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska, Wenjie Ruan, Youcheng Sun, Min Wu, and Xinping Yi
arXiv preprint
arXiv: 1812.08342