research
∙
04/17/2020
Parallelization Techniques for Verifying Neural Networks
Inspired by recent successes with parallel optimization techniques for s...
share
research
∙
12/10/2018
Visual Depth Mapping from Monocular Images using Recurrent Convolutional Neural Networks
A reliable sense-and-avoid system is critical to enabling safe autonomou...
research
∙
02/06/2018
Utility Decomposition with Deep Corrections for Scalable Planning under Uncertainty
Decomposition methods have been proposed in the past to approximate solu...
research
∙
01/18/2018
Toward Scalable Verification for Safety-Critical Deep Networks
The increasing use of deep neural networks for safety-critical applicati...
research
∙
09/08/2017
Towards Proving the Adversarial Robustness of Deep Neural Networks
Autonomous vehicles are highly complex systems, required to function rel...
research
∙
02/03/2017