Shared Certificates for Neural Network Verification

Published in CAV, 2022

Recommended citation: Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev, CAV 2022. /files/shared_certificates.pdf