Min Wu
Min Wu
Department of Computer Science, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Safety verification of deep neural networks
X Huang, M Kwiatkowska, S Wang, M Wu
International conference on computer aided verification, 3-29, 2017
5582017
Concolic testing for deep neural networks
Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
1602018
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi
Computer Science Review 37, 100270, 2020
532020
A game-based approximate verification of deep neural networks with provable guarantees
M Wu, M Wicker, W Ruan, X Huang, M Kwiatkowska
Theoretical Computer Science 807, 298-329, 2020
502020
Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
International Joint Conference on Artificial Intelligence, 2019
222019
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Norm
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
arXiv preprint arXiv:1804.05805, 2018
202018
A survey of safety and trustworthiness of deep neural networks
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi
arXiv preprint arXiv:1812.08342, 2018
132018
Robustness Guarantees for Deep Neural Networks on Videos
M Wu, M Kwiatkowska
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020
72020
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles
M Wu, T Louw, M Lahijanian, W Ruan, X Huang, N Merat, M Kwiatkowska
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
42019
Safety verification of deep neural networks (2016)
X Huang, M Kwiatkowska, S Wang, M Wu
arXiv preprint arXiv:1610.06940, 0
4
Assessing Robustness of Text Classification through Maximal Safe Radius Computation
E La Malfa, M Wu, L Laurenti, B Wang, A Hartshorn, M Kwiatkowska
arXiv preprint arXiv:2010.02004, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–11