Alert button
Picture for Lindsey Kuper

Lindsey Kuper

Alert button

Toward Scalable Verification for Safety-Critical Deep Networks

Feb 02, 2018
Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark Barrett, Mykel Kochenderfer

Figure 1 for Toward Scalable Verification for Safety-Critical Deep Networks
Viaarxiv icon