Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Lindsey Kuper

Toward Scalable Verification for Safety-Critical Deep Networks

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

* Accepted for presentation at SysML 2018 

  Access Paper or Ask Questions