Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper).
From MaRDI portal
Publication:5875362
DOI10.4230/LIPIcs.CONCUR.2019.1OpenAlexW2970180080MaRDI QIDQ5875362
Publication date: 3 February 2023
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2019/10903/pdf/LIPIcs-CONCUR-2019-1.pdf/
Uses Software
Cites Work
This page was built for publication: Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper).