research
∙
03/01/2021
Generating Probabilistic Safety Guarantees for Neural Network Controllers
Neural networks serve as effective controllers in a variety of complex s...
share
research
∙
10/07/2020
Global Optimization of Objective Functions Represented by ReLU Networks
Neural networks (NN) learn complex non-convex functions, making them des...
research
∙
03/05/2020
Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing
Neural networks have become state-of-the-art for computer vision problem...
research
∙
03/02/2019
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
The next generation of aircraft collision avoidance systems frame the pr...
research
∙
10/09/2018
Distributed Wildfire Surveillance with Autonomous Aircraft using Deep Reinforcement Learning
Teams of autonomous unmanned aircraft can be used to monitor wildfires, ...
research
∙
10/09/2018
Deep Neural Network Compression for Aircraft Collision Avoidance Systems
One approach to designing decision making logic for an aircraft collisio...
research
∙
10/04/2018