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. https://link.springer.com/chapter/10.1007/978-3-031-13185-1_7