Min Wu : Publications

Journal papers

• [1]

  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

Conference papers

• [1]

  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

• [2]

  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

• [3]

  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

• [4]

  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

• [5]

  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

• [6]

  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