Cover Image

Distributionally Robust Statistical Verification with Imprecise Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dutta, Souradeep, Caprio, Michele, Lin, Vivian, Cleaveland, Matthew, Jang, Kuk Jin, Ruchkin, Ivan, Sokolsky, Oleg, Lee, Insup
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence Machine Learning Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

DC4L: Distribution Shift Recovery via Data-Driven Control for Deep Learning Models
by: Lin, Vivian, et al.
Published: (2023)

Conservative Perception Models for Probabilistic Verification
by: Cleaveland, Matthew, et al.
Published: (2025)

Credal Bayesian Deep Learning
by: Caprio, Michele, et al.
Published: (2023)

Repairing Learning-Enabled Controllers While Preserving What Works
by: Lu, Pengyuan, et al.
Published: (2023)

Memory-Consistent Neural Networks for Imitation Learning
by: Sridhar, Kaustubh, et al.
Published: (2023)

RICL: Adding In-Context Adaptability to Pre-Trained Vision-Language-Action Models
by: Sridhar, Kaustubh, et al.
Published: (2025)

SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems
by: Fan, Jialiang, et al.
Published: (2026)

Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
by: Lin, Vivian, et al.
Published: (2025)

Pattern-Guided Diffusion Models
by: Lin, Vivian, et al.
Published: (2025)

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
by: Peper, Jordan, et al.
Published: (2025)

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
by: Zheng, Xi, et al.
Published: (2023)

Imprecise Markov Semigroups and their Ergodicity
by: Caprio, Michele, et al.
Published: (2024)

Generalizable Image Repair for Robust Visual Control
by: Sobolewski, Carson, et al.
Published: (2025)

How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy
by: Mao, Zhenjiang, et al.
Published: (2025)

Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems
by: Lin, Vivian, et al.
Published: (2025)

Integral Imprecise Probability Metrics
by: Chau, Siu Lun, et al.
Published: (2025)

Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving
by: Mao, Zhenjiang, et al.
Published: (2024)

Tightly Coupled SLAM with Imprecise Architectural Plans
by: Shaheer, Muhammad, et al.
Published: (2024)

REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments
by: Sridhar, Kaustubh, et al.
Published: (2024)

Solving Parameter-Robust Avoid Problems with Unknown Feasibility using Reinforcement Learning
by: So, Oswin, et al.
Published: (2026)

AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
by: Ji, Xiayan, et al.
Published: (2024)

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models
by: Mao, Zhenjiang, et al.
Published: (2024)

Conformal Prediction Regions are Imprecise Highest Density Regions
by: Caprio, Michele, et al.
Published: (2025)

Automating Weak Label Generation for Data Programming with Clinicians in the Loop
by: Park, Jean, et al.
Published: (2024)

Anomaly-Informed Confidence Calibration for Vision-Based Safety Prediction
by: Mao, Zhenjiang, et al.
Published: (2026)

Non-differentiable Reward Optimization for Diffusion-based Autonomous Motion Planning
by: Lee, Giwon, et al.
Published: (2025)

Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters
by: Dhillon, Harmeet, et al.
Published: (2026)

Conformal Prediction Regions for Time Series using Linear Complementarity Programming
by: Cleaveland, Matthew, et al.
Published: (2023)

IBCL: Zero-shot Model Generation under Stability-Plasticity Trade-offs
by: Lu, Pengyuan, et al.
Published: (2023)

Four Principles for Physically Interpretable World Models
by: Peper, Jordan, et al.
Published: (2025)

Interaction-Merged Motion Planning: Effectively Leveraging Diverse Motion Datasets for Robust Planning
by: Lee, Giwon, et al.
Published: (2025)

Case Study: Runtime Safety Verification of Neural Network Controlled System
by: Yang, Frank, et al.
Published: (2024)

Category-level Neural Field for Reconstruction of Partially Observed Objects in Indoor Environment
by: Lee, Taekbeom, et al.
Published: (2024)

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
by: Lu, Pengyuan, et al.
Published: (2024)

TAR: Teacher-Aligned Representations via Contrastive Learning for Quadrupedal Locomotion
by: Mousa, Amr, et al.
Published: (2025)

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers
by: Geng, Yuang, et al.
Published: (2023)

Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
by: Oeltjen, Christopher, et al.
Published: (2025)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

LHM-Humanoid: Learning a Unified Policy for Long-Horizon Humanoid Whole-Body Loco-Manipulation in Diverse Messy Environments
by: Zhang, Haozhuo, et al.
Published: (2025)