Toward Scalable Verification for Safety-Critical Deep Networks

Lindsey Kuper, Guy Katz, Justin Gottschlich +3

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Form…