Search Results for author: Lindsey Kuper

Found 1 papers, 0 papers with code

Toward Scalable Verification for Safety-Critical Deep Networks

no code implementations18 Jan 2018 Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark Barrett, Mykel Kochenderfer

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.

Autonomous Driving

Cannot find the paper you are looking for? You can Submit a new open access paper.