Toward Scalable Verification for Safety-Critical Deep Networks

author-image

By