Cargando…

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
_version_ 1780970853489442816
author Liu, Changliu
Arnon, Tomer
Lazarus, Christopher
Strong, Christopher
Barrett, Clark
Kochenderfer, Mykel J
author_facet Liu, Changliu
Arnon, Tomer
Lazarus, Christopher
Strong, Christopher
Barrett, Clark
Kochenderfer, Mykel J
author_sort Liu, Changliu
collection CERN
description 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.
id cern-2763063
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2021
publisher Now Publishers
record_format invenio
spelling cern-27630632021-04-21T16:38:41Zhttp://cds.cern.ch/record/2763063engLiu, ChangliuArnon, TomerLazarus, ChristopherStrong, ChristopherBarrett, ClarkKochenderfer, Mykel JAlgorithms for verifying deep neural networksXXAlgorithms 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.Now Publishersoai:cds.cern.ch:27630632021
spellingShingle XX
Liu, Changliu
Arnon, Tomer
Lazarus, Christopher
Strong, Christopher
Barrett, Clark
Kochenderfer, Mykel J
Algorithms for verifying deep neural networks
title Algorithms for verifying deep neural networks
title_full Algorithms for verifying deep neural networks
title_fullStr Algorithms for verifying deep neural networks
title_full_unstemmed Algorithms for verifying deep neural networks
title_short Algorithms for verifying deep neural networks
title_sort algorithms for verifying deep neural networks
topic XX
url http://cds.cern.ch/record/2763063
work_keys_str_mv AT liuchangliu algorithmsforverifyingdeepneuralnetworks
AT arnontomer algorithmsforverifyingdeepneuralnetworks
AT lazaruschristopher algorithmsforverifyingdeepneuralnetworks
AT strongchristopher algorithmsforverifyingdeepneuralnetworks
AT barrettclark algorithmsforverifyingdeepneuralnetworks
AT kochenderfermykelj algorithmsforverifyingdeepneuralnetworks