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

"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018

composition.al 2018-02-15

Link:

http://composition.al/blog/2018/02/14/toward-scalable-verification-for-safety-critical-deep-networks-at-sysml-2018/

Updated:

02/14/2018, 14:40

From feeds:

Gudgeon and gist » composition.al

Tags: