Up a level |
Sun, Youcheng, Wu, Min, Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta and Kroening, Daniel
(2018)
Concolic Testing for Deep Neural Networks.
In: 33rd IEEE/ACM International Conference on Automated Software Engineering, 2018-9-3 - 2018-9-7, Montpellier, France.
Wicker, Matthew, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta
(2018)
Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Wu, Min, Wicker, Matthew, Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta
(2020)
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees.
Theoretical Computer Science, 807.
pp. 298-329.
Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta
(2018)
Reachability Analysis of Deep Neural Networks with Provable Guarantees.
In: 27th International Joint Conference on Artificial Intelligence, 2018-7-13 - 2018-7-19, Stockholm, Sweden.
Huang, XH ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta and Olejnik, Maciej
(2019)
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
ACM Transactions on Computational Logic, 20 (04).
Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta, Wang, Sen and Wu, Min
(2017)
Safety Verification of Deep Neural Networks.
In: Computer Aided Verification - 29th International Conference, CAV 2017, 2017-7-24 - 2017-7-28, Heidelberg, Germany.