Up a level |
Number of items: 1.
Matthew, Wicker, Huang, XH ORCID: 0000-0001-6267-0366 and Marta, Kwiatkowska
(2017)
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.