Safety Verification of Deep Neural Networks. - Xiaowei Huang 001; Marta Kwiatkowska; Sen Wang 002; Min Wu 011 (CAV (1), 2017)

Concolic testing for deep neural networks. - Youcheng Sun; Min Wu 011; Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska; Daniel Kroening (ASE, 2018)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (CoRR, 2018)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (IJCAI, 2019)

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. - Min Wu 011; Tyron Louw; Morteza Lahijanian; Wenjie Ruan; Xiaowei Huang 001; Natasha Merat; Marta Kwiatkowska (IROS, 2019)

Robustness Guarantees for Deep Neural Networks on Videos. - Min Wu 011; Marta Kwiatkowska (CVPR, 2020)

Assessing Robustness of Text Classification through Maximal Safe Radius Computation. - Emanuele La Malfa; Min Wu 011; Luca Laurenti; Benjie Wang 001; Anthony Hartshorn; Marta Kwiatkowska (EMNLP (Findings), 2020)

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. - Xiaowei Huang 001; Daniel Kroening; Wenjie Ruan; James Sharp; Youcheng Sun; Emese Thamo; Min Wu 011; Xinping Yi (Comput. Sci. Rev., 2020)

A game-based approximate verification of deep neural networks with provable guarantees. - Min Wu 011; Matthew Wicker; Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska (Theor. Comput. Sci., 2020)

Robustness evaluation of deep neural networks with provable guarantees. - Min Wu 011 (2020)