Cover Image

Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lin, Vivian, Kaur, Ramneet, Yang, Yahan, Dutta, Souradeep, Kantaros, Yiannis, Roy, Anirban, Jha, Susmit, Sokolsky, Oleg, Lee, Insup
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
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)

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

Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023)

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

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

Polysemantic Dropout: Conformal OOD Detection for Specialized LLMs
by: Gupta, Ayush, et al.
Published: (2025)

Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs
by: Agarwal, Krishiv, et al.
Published: (2026)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
by: Nagesh, Chandra Kanth, et al.
Published: (2025)

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

Closed-Loop Neural Activation Control in Vision-Language-Action Models
by: Babu, Abhijith, et al.
Published: (2026)

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

Privacy Preserving In-Context-Learning Framework for Large Language Models
by: Bhusal, Bishnu, et al.
Published: (2025)

Scalable Bayesian Low-Rank Adaptation of Large Language Models via Stochastic Variational Subspace Inference
by: Samplawski, Colin, et al.
Published: (2025)

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

TeleLoRA: Teleporting Model-Specific Alignment Across LLMs
by: Lin, Xiao, et al.
Published: (2025)

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

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

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

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

Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet
by: Wang, Shuaikang, et al.
Published: (2023)

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
by: Schwartz, Noah, et al.
Published: (2026)

Do Diffusion Models Dream of Electric Planes? Discrete and Continuous Simulation-Based Inference for Aircraft Design
by: Ghiglino, Aurelien, et al.
Published: (2026)

Making Infeasible Tasks Feasible: Planning to Reconfigure Disconnected 3D Environments with Movable Objects
by: Kalluraya, Samarth, et al.
Published: (2026)

NAMO-LLM: Efficient Navigation Among Movable Obstacles with Large Language Model Guidance
by: Zhang, Yuqing, et al.
Published: (2025)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
by: Kantaros, Yiannis, et al.
Published: (2024)

MrGuard: A Multilingual Reasoning Guardrail for Universal LLM Safety
by: Yang, Yahan, et al.
Published: (2025)

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

Calibrating Uncertainty Quantification of Multi-Modal LLMs using Grounding
by: Padhi, Trilok, et al.
Published: (2025)

Conformalized Non-uniform Sampling Strategies for Accelerated Sampling-based Motion Planning
by: Natraj, Shubham, et al.
Published: (2025)

CoFineLLM: Conformal Finetuning of LLMs for Language-Instructed Robot Planning
by: Wang, Jun, et al.
Published: (2025)

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
by: Kalluraya, Samarth, et al.
Published: (2024)

HyperController: A Hyperparameter Controller for Fast and Stable Training of Reinforcement Learning Neural Networks
by: Gornet, Jonathan, et al.
Published: (2025)

Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction
by: Wang, Jun, et al.
Published: (2024)

On the Calibration of Multilingual Question Answering LLMs
by: Yang, Yahan, et al.
Published: (2023)

Benchmarking LLM Guardrails in Handling Multilingual Toxicity
by: Yang, Yahan, et al.
Published: (2024)

From Actions to Understanding: Conformal Interpretability of Temporal Concepts in LLM Agents
by: Padhi, Trilok, et al.
Published: (2026)

Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
by: Ma, Xinhang, et al.
Published: (2025)

Addressing Uncertainty in LLMs to Enhance Reliability in Generative AI
by: Kaur, Ramneet, et al.
Published: (2024)

Conformal Reachability for Safe Control in Unknown Environments
by: Ma, Xinhang, et al.
Published: (2026)

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