Min Wu : Publications

A Game−Based Approximate Verification of Deep Neural Networks with Provable Guarantees

Min Wu‚ Matthew Wicker‚ Wenjie Ruan‚ Xiaowei Huang and Marta Kwiatkowska

In Theoretical Computer Science. Vol. 807. Pages 298−329. 2020.

In memory of Maurice Nivat‚ a founding father of Theoretical Computer Science − Part II

Details about A Game−Based Approximate Verification of Deep Neural Networks with Provable Guarantees | BibTeX data for A Game−Based Approximate Verification of Deep Neural Networks with Provable Guarantees | DOI (10.1016/j.tcs.2019.05.046) | Link to A Game−Based Approximate Verification of Deep Neural Networks with Provable Guarantees

Assessing Robustness of Text Classification through Maximal Safe Radius Computation

Emanuele LaMalfa‚ Min Wu‚ Luca Laurenti‚ Benjie Wang‚ Anthony Hartshorn and Marta Kwiatkowska

In Findings of the Association for Computational Linguistics: EMNLP 2020. Pages 2949–2968. Association for Computational Linguistics. 2020.

Details about Assessing Robustness of Text Classification through Maximal Safe Radius Computation | BibTeX data for Assessing Robustness of Text Classification through Maximal Safe Radius Computation | DOI (10.18653/v1/2020.findings-emnlp.266) | Link to Assessing Robustness of Text Classification through Maximal Safe Radius Computation

Robustness Guarantees for Deep Neural Networks on Videos

Min Wu and Marta Kwiatkowska

In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). Pages 311−320. 2020.

Details about Robustness Guarantees for Deep Neural Networks on Videos | BibTeX data for Robustness Guarantees for Deep Neural Networks on Videos | DOI (10.1109/CVPR42600.2020.00039) | Link to Robustness Guarantees for Deep Neural Networks on Videos

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

Wenjie Ruan‚ Min Wu‚ Youcheng Sun‚ Xiaowei Huang‚ Daniel Kroening and Marta Kwiatkowska

In Proceedings of the Twenty−Eighth International Joint Conference on Artificial Intelligence‚ IJCAI−19. Pages 5944–5952. International Joint Conferences on Artificial Intelligence Organization. July, 2019.

Details about Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance | BibTeX data for Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance | DOI (10.24963/ijcai.2019/824) | Link to Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

Gaze−based Intention Anticipation over Driving Manoeuvres in Semi−Autonomous Vehicles

Min Wu‚ Tyron Louw‚ Morteza Lahijanian‚ Wenjie Ruan‚ Xiaowei Huang‚ Natasha Merat and Marta Kwiatkowska

In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Pages 6210−6216. November, 2019.

Details about Gaze−based Intention Anticipation over Driving Manoeuvres in Semi−Autonomous Vehicles | BibTeX data for Gaze−based Intention Anticipation over Driving Manoeuvres in Semi−Autonomous Vehicles | DOI (10.1109/IROS40897.2019.8967779) | Link to Gaze−based Intention Anticipation over Driving Manoeuvres in Semi−Autonomous Vehicles

Concolic Testing for Deep Neural Networks

Youcheng Sun‚ Min Wu‚ Wenjie Ruan‚ Xiaowei Huang‚ Marta Kwiatkowska and Daniel Kroening

In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Pages 109–119. New York‚ NY‚ USA. 2018. Association for Computing Machinery.

Details about Concolic Testing for Deep Neural Networks | BibTeX data for Concolic Testing for Deep Neural Networks | DOI (10.1145/3238147.3238172) | Link to Concolic Testing for Deep Neural Networks

Safety Verification of Deep Neural Networks

Xiaowei Huang‚ Marta Kwiatkowska‚ Sen Wang and Min Wu

In Rupak Majumdar and Viktor Kunčak, editors, Computer Aided Verification. Pages 3–29. Cham. 2017. Springer International Publishing.

Details about Safety Verification of Deep Neural Networks | BibTeX data for Safety Verification of Deep Neural Networks | DOI (10.1007/978-3-319-63387-9_1) | Link to Safety Verification of Deep Neural Networks