Systematic generation of diverse benchmarks for DNN verification

DOI10.1007/978-3-030-53288-8_5zbMath1478.68184OpenAlexW3043641198MaRDI QIDQ2225080

David Shriver, Sebastian Elbaum, Dong Xu, Matthew B. Dwyer

Publication date: 4 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53288-8_5

zbMATH Keywords

verificationneural networkbenchmarkcovering array

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Abstract neural networks

This page was built for publication: Systematic generation of diverse benchmarks for DNN verification