| Safety verification of deep neural networks X Huang, M Kwiatkowska, S Wang, M Wu International Conference on Computer Aided Verification, 3-29, 2017 | 514 | 2017 |
| Concolic Testing for Deep Neural Networks Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening ASE2018, 2018 | 147 | 2018 |
| Feature-guided black-box safety testing of deep neural networks M Wicker, X Huang, M Kwiatkowska International Conference on Tools and Algorithms for the Construction and …, 2018 | 132 | 2018 |
| Reachability Analysis of Deep Neural Networks with Provable Guarantees W Ruan, X Huang, M Kwiatkowska IJCAI2018, 2018 | 129 | 2018 |
| Structural Test Coverage Criteria for Deep Neural Networks Y SUN, X HUANG, D KROENING, J SHARP, M HILL, ROB ASHMORE ACM Transactions on Embedded Computing Systems, 2019 | 120* | 2019 |
| An epistemic strategy logic X Huang, RVD Meyden ACM Transactions on Computational Logic (TOCL) 19 (4), 26, 2018 | 57* | 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 | 47 | 2020 |
| 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 | 37* | 2018 |
| Symbolic model checking epistemic strategy logic X Huang, R van der Meyden Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence …, 2014 | 37 | 2014 |
| Probabilistic alternating-time temporal logic of incomplete information and synchronous perfect recall X Huang, K Su, C Zhang Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2012 | 27 | 2012 |
| Symbolic model checking of probabilistic knowledge X Huang, C Luo, R Van Der Meyden Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011 | 25 | 2011 |
| Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification J Li, J Liu, P Yang, L Chen, X Huang, L Zhang International Static Analysis Symposium, 296-319, 2019 | 21* | 2019 |
| Reasoning about cognitive trust in stochastic multiagent systems X Huang, M Kwiatkowska, M Olejnik ACM Transactions on Computational Logic (TOCL) 20 (4), 1-64, 2019 | 19 | 2019 |
| 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 | 19 | 2019 |
| A logic of probabilistic knowledge and strategy X Huang, C Luo Proceedings of the 2013 international conference on Autonomous agents and …, 2013 | 19 | 2013 |
| Structural test coverage criteria for deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore Proceedings of the 41st International Conference on Software Engineering …, 2019 | 18 | 2019 |
| A temporal logic of strategic knowledge X Huang, R van der Meyden Proceedings of the 14th International Conference on Principles of Knowledge …, 2014 | 17 | 2014 |
| Improved bounded model checking for a fair branching-time temporal epistemic logic X Huang, C Luo, R van der Meyden Model Checking and Artificial Intelligence, 95-111, 2011 | 17 | 2011 |
| DeepConcolic: testing and debugging deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 13 | 2019 |
