Certified Deep Learning: Verification and Training
Open access
Date
2022Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000552777Publication status
publishedExternal links
Search print copy at ETH Library
Contributors
Examiner: Vechev, Martin
Examiner: Albarghouthi, Aws
Examiner: Hein, Matthias
Examiner: Kolter, Zico
Examiner: Zhang, Ce
Publisher
ETH ZurichSubject
deep learning; Program analysis; machine learning; Programming languages; artificial intelligence; Computer security; software engineeringOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata
ETH Bibliography
yes
Altmetrics