research
∙
04/05/2023
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
We show that hybrid zonotopes offer an equivalent representation of feed...
share
research
∙
04/05/2023
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
Many real-world systems often involve physical components or operating e...
research
∙
03/22/2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection
We exploit recent results in quantifying the robustness of neural networ...
research
∙
12/10/2020