Browsing Computer Science by Author "Kroening, D"

Now showing items 1-2 of 2

    Issue DateTitleAuthor(s)
    3 September 2018Concolic testing for deep neural networks  Sun, Y; Wu, M; Ruan, W; et al.
    16 August 2019Global robustness evaluation of deep neural networks with provable guarantees for the hamming distance  Ruan, W; Wu, M; Sun, Y; et al.