@inproceedings{la-malfa-etal-2020-assessing,
  title = "Assessing Robustness of Text Classification through Maximal Safe Radius Computation",
  author = "LaMalfa, Emanuele and Wu, Min and Laurenti, Luca and Wang, Benjie and Hartshorn, Anthony and Kwiatkowska, Marta",
  year = "2020",
  booktitle = "Findings of the Association for Computational Linguistics: EMNLP 2020",
  pages = "2949--2968",
  publisher = "Association for Computational Linguistics",
  url = "https://www.aclweb.org/anthology/2020.findings-emnlp.266",
  doi = "10.18653/v1/2020.findings-emnlp.266",
}
@inproceedings{wu2020robustness,
  title = "Robustness Guarantees for Deep Neural Networks on Videos",
  author = "Wu, Min and Kwiatkowska, Marta",
  year = "2020",
  booktitle = "2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)",
  pages = "311-320",
  url = "https://ieeexplore.ieee.org/abstract/document/9157167",
  doi = "10.1109/CVPR42600.2020.00039",
}
@article{wu2020game,
  title = "A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees",
  author = "Min Wu and Matthew Wicker and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska",
  year = "2020",
  issn = "0304-3975",
  journal = "Theoretical Computer Science",
  note = "In memory of Maurice Nivat, a founding father of Theoretical Computer Science - Part II",
  pages = "298-329",
  url = "http://www.sciencedirect.com/science/article/pii/S0304397519304426",
  volume = "807",
  doi = "10.1016/j.tcs.2019.05.046",
}
@inproceedings{wu2019gazebased,
  title = "Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles",
  author = "Wu, Min and Louw, Tyron and Lahijanian, Morteza and Ruan, Wenjie and Huang, Xiaowei and Merat, Natasha and Kwiatkowska, Marta",
  year = "2019",
  booktitle = "2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)",
  issn = "2153-0858",
  month = "Nov",
  pages = "6210-6216",
  url = "http://ieeexplore.ieee.org/document/8967779",
  doi = "10.1109/IROS40897.2019.8967779",
}
@inproceedings{ruan2019global,
  title = "Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance",
  author = "Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta",
  year = "2019",
  booktitle = "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}",
  month = "7",
  pages = "5944--5952",
  publisher = "International Joint Conferences on Artificial Intelligence Organization",
  url = "https://doi.org/10.24963/ijcai.2019/824",
  doi = "10.24963/ijcai.2019/824",
}
@inproceedings{sun2018concolic,
  title = "Concolic Testing for Deep Neural Networks",
  author = "Sun, Youcheng and Wu, Min and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta and Kroening, Daniel",
  year = "2018",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering",
  isbn = "9781450359375",
  keywords = "symbolic execution, neural networks, concolic testing",
  location = "Montpellier, France",
  pages = "109–119",
  publisher = "Association for Computing Machinery",
  series = "ASE 2018",
  url = "https://doi.org/10.1145/3238147.3238172",
  doi = "10.1145/3238147.3238172",
}
@inproceedings{huang2017safety,
  title = "Safety Verification of Deep Neural Networks",
  author = "Huang, Xiaowei and Kwiatkowska, Marta and Wang, Sen and Wu, Min",
  year = "2017",
  address = "Cham",
  booktitle = "Computer Aided Verification",
  editor = "Majumdar, Rupak and Kun{\v{c}}ak, Viktor",
  isbn = "978-3-319-63387-9",
  pages = "3--29",
  publisher = "Springer International Publishing",
  url = "http://link.springer.com/chapter/10.1007/978-3-319-63387-9_1",
  doi = "10.1007/978-3-319-63387-9_1",
}