Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 5.


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-09-03 - 2018-09-07, Montpellier, France.


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. 298 - 329.


Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta
(2018) Reachability Analysis of Deep Neural Networks with Provable Guarantees. .


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. .

This list was generated on Tue Dec 1 23:43:16 2020 GMT.