Safety and robustness for deep learning with provable guarantees (invited paper - keynote)

Bibliographic Details
Main Author: Kwiatkowska, M
Format: Conference item
Language:English
Published: ACM Digital Library 2020
_version_ 1826265679175614464
author Kwiatkowska, M
author_facet Kwiatkowska, M
author_sort Kwiatkowska, M
collection OXFORD
description
first_indexed 2024-03-06T20:27:28Z
format Conference item
id oxford-uuid:2fde10fa-8e00-4cc8-987d-e2d0eea4f930
institution University of Oxford
language English
last_indexed 2024-03-06T20:27:28Z
publishDate 2020
publisher ACM Digital Library
record_format dspace
spelling oxford-uuid:2fde10fa-8e00-4cc8-987d-e2d0eea4f9302022-03-26T12:58:07ZSafety and robustness for deep learning with provable guarantees (invited paper - keynote)Conference itemhttp://purl.org/coar/resource_type/c_5794uuid:2fde10fa-8e00-4cc8-987d-e2d0eea4f930EnglishSymplectic ElementsACM Digital Library2020Kwiatkowska, M
spellingShingle Kwiatkowska, M
Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
title Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
title_full Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
title_fullStr Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
title_full_unstemmed Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
title_short Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
title_sort safety and robustness for deep learning with provable guarantees invited paper keynote
work_keys_str_mv AT kwiatkowskam safetyandrobustnessfordeeplearningwithprovableguaranteesinvitedpaperkeynote