research
∙
09/17/2023
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
We consider data-driven reachability analysis of discrete-time stochasti...
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/07/2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Signal Temporal Logic (STL) has become a popular tool for expressing for...
research
∙
10/14/2022
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
In this paper, we consider the problem of synthesizing a controller in t...
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