research
∙
08/28/2023
Distributionally Robust Statistical Verification with Imprecise Neural Networks
A particularly challenging problem in AI safety is providing guarantees ...
share
research
∙
04/06/2023
Causal Repair of Learning-enabled Cyber-physical Systems
Models of actual causality leverage domain knowledge to generate convinc...
research
∙
04/03/2023
Conformal Prediction Regions for Time Series using Linear Complementarity Programming
Conformal prediction is a statistical tool for producing prediction regi...
research
∙
01/26/2023
Conservative Safety Monitors of Stochastic Dynamical Systems
Generating accurate runtime safety estimates for autonomous systems is v...
research
∙
12/01/2022
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents
This paper proposes an algorithm for motion planning among dynamic agent...
research
∙
10/19/2022
Safe Planning in Dynamic Environments using Conformal Prediction
We propose a framework for planning in unknown dynamic environments with...
research
∙
09/09/2022
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information
This paper addresses a safe planning and control problem for mobile robo...
research
∙
11/04/2021
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis
Autonomous systems with machine learning-based perception can exhibit un...
research
∙
11/03/2021
Confidence Composition for Monitors of Verification Assumptions
Closed-loop verification of cyber-physical systems with neural network c...
research
∙
08/26/2021