Items where Author is "Huang, Xiaowei"

Journal Article

Xu, Peipei and Ruan, Wenjie and Huang, Xiaowei (2023) Quantifying safety risks of deep neural networks. Complex & Intelligent Systems, 9 (4). pp. 3801-3818. ISSN 2199-4536

Zhang, Yanghao and Ruan, Wenjie and Wang, Fu and Huang, Xiaowei (2023) Generalizing universal adversarial perturbations for deep neural networks. Machine Learning. ISSN 0885-6125

Huang, Wei and Sun, Youcheng and Zhao, Xingyu and Sharp, James and Ruan, Wenjie and Meng, Jie and Huang, Xiaowei (2022) Coverage-Guided Testing for Recurrent Neural Networks. IEEE Transactions on Reliability, 71 (3): 3. pp. 1191-1206. ISSN 0018-9529

Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matthew T. (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2): 67. ISSN 2218-6581

Wu, Min and Wicker, Matthew and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta (2020) A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. Theoretical Computer Science, 807. pp. 298-329. ISSN 0304-3975

Contribution in Book/Report/Proceedings

Mu, Ronghui and Soriano Marcolino, Leandro and Zhang, Tianle and Zhang, Yanghao and Huang, Xiaowei and Ruan, Wenjie (2023) ReCePS: Reward Certification for Policy Smoothed Reinforcement Learning. In: Conference on Artificial Intelligence (AAAI-24) : SRRAI Special Track. UNSPECIFIED. (In Press)

Wu, Min and Louw, Tyron and Lahijanian, Morteza and Ruan, Wenjie and Huang, Xiaowei and Merat, Natasha and Kwiatkowska, Marta (2020) Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) :. IEEE, CHN, pp. 6210-6216. ISBN 9781728140049

Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta (2019) Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), August 10-16, 2019, Macau, China :. IJCAI, pp. 5944-5952. ISBN 9780999241141

Zhao, Xingyu and Osborne, Matt and Lantair, Jenny and Robu, Valentin and Flynn, David and Huang, Xiaowei and Fisher, Michael and Papacchini, Fabio and Ferrando, Angelo (2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings :. UNSPECIFIED.

Sun, Youcheng and Wu, Min and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta and Kroening, Daniel (2018) Concolic testing for deep neural networks. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 :. Association for Computing Machinery (ACM), New York, pp. 109-119. ISBN 9781450359375

Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta (2018) Reachability analysis of deep neural networks with provable guarantees. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 :. International Joint Conferences on Artificial Intelligence, SWE, pp. 2651-2659. ISBN 9780999241127