EasyChair Smart SlideDocs/Log in
Author: Dimitar I. Dimitrov

This page shows all presentations of this author published in EasyChair Smart Slide.

Shared Certificates for Neural Network Verification

Shared Certificates for Neural Network Verification

Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh and Martin Vechev

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair