| Safety verification of deep neural networks X Huang, M Kwiatkowska, S Wang, M Wu International conference on computer aided verification, 3-29, 2017 | 556 | 2017 |
| 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 | 160 | 2018 |
| 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 | 53 | 2020 |
| 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 | 50 | 2020 |
| 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 | 22 | 2019 |
| 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 | 20 | 2018 |
| 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 | 13 | 2018 |
| Robustness Guarantees for Deep Neural Networks on Videos M Wu, M Kwiatkowska 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020 | 7 | 2020 |
| 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 | 4 | 2019 |
| 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 |
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk