research
∙
02/19/2023
Imprecise Bayesian Neural Networks
Uncertainty quantification and robustness to distribution shifts are imp...
share
research
∙
05/17/2022
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems
This paper tackles the problem of making complex resource-constrained cy...
research
∙
11/03/2021
Confidence Composition for Monitors of Verification Assumptions
Closed-loop verification of cyber-physical systems with neural network c...
research
∙
04/30/2021
ModelGuard: Runtime Validation of Lipschitz-continuous Models
This paper presents ModelGuard, a sampling-based approach to runtime mod...
research
∙
02/25/2021
Confidence Calibration with Bounded Error Using Transformations
As machine learning techniques become widely adopted in new domains, esp...
research
∙
02/23/2020
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems
Deep neural network (DNN) models have proven to be vulnerable to adversa...
research
∙
10/24/2019