Home Gudgeon and gist composition.al "Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018