Algorithms for verifying deep neural networks

Algorithms for Verifying Deep Neural Networks serves as a tutorial for students and professionals interested in this emerging field as well as a benchmark to facilitate the design of new verification algorithms.

Detalles Bibliográficos
Autores principales: Liu, Changliu, Arnon, Tomer, Lazarus, Christopher, Strong, Christopher, Barrett, Clark, Kochenderfer, Mykel J
Lenguaje:eng
Publicado: Now Publishers 2021
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2763063

Internet

http://cds.cern.ch/record/2763063

Ejemplares similares