Items where Author is "Wu, Min"

Journal Article

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

Guo, Kefeng and Li, Xingwang and Bilal, Muhammad and Nauman, Ali and Wu, Min and Zhou, Feng (2024) Secrecy Outage Probability for RSMA-based ISATNs with Imperfect Hardware. In: ICC 2024 - IEEE International Conference on Communications :. IEEE International Conference on Communications . IEEE, USA, pp. 5147-5152. ISBN 9781728190556

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

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