research
∙
07/03/2023
Efficient Determination of Safety Requirements for Perception Systems
Perception systems operate as a subcomponent of the general autonomy sta...
share
research
∙
06/19/2023
AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator
Designing robust machine learning systems remains an open problem, and t...
research
∙
09/28/2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
The increasing prevalence of neural networks (NNs) in safety-critical ap...
research
∙
05/21/2022
Risk-Driven Design of Perception Systems
Modern autonomous systems rely on perception modules to process complex ...
research
∙
04/29/2022
Collision Risk and Operational Impact of Speed Change Advisories as Aircraft Collision Avoidance Maneuvers
Aircraft collision avoidance systems have long been a key factor in keep...
research
∙
06/09/2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
Deep neural networks often lack the safety and robustness guarantees nee...
research
∙
05/14/2021
Verification of Image-based Neural Network Controllers Using Generative Models
Neural networks are often used to process information from image-based s...
research
∙
03/03/2021
Preference-based Learning of Reward Function Features
Preference-based learning of reward functions, where the reward function...
research
∙
03/01/2021
Generating Probabilistic Safety Guarantees for Neural Network Controllers
Neural networks serve as effective controllers in a variety of complex s...
research
∙
07/12/2019