Up a level |
Number of items: 2.
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.