Conformal Safety Shielding for Imperfect-Perception Agents
Fuente:
arXiv
Saved in:
| Main Authors: | Scarbro, William, Imrie, Calum, Yaman, Sinem Getir, Fatehi, Kavan, Pasareanu, Corina S., Calinescu, Radu, Mangal, Ravi |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Interval POMDP Shielding for Imperfect-Perception Agents
by: Scarbro, William, et al.
Published: (2026)
by: Scarbro, William, et al.
Published: (2026)
Interpretable Attention-Based Multi-Agent PPO for Latency Spike Resolution in 6G RAN Slicing
by: Fatehi, Kavan, et al.
Published: (2026)
by: Fatehi, Kavan, et al.
Published: (2026)
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
by: Bethell, Daniel, et al.
Published: (2024)
by: Bethell, Daniel, et al.
Published: (2024)
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
by: Kleijwegt, Alex, et al.
Published: (2025)
by: Kleijwegt, Alex, et al.
Published: (2025)
Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
by: Bethell, Daniel, et al.
Published: (2025)
by: Bethell, Daniel, et al.
Published: (2025)
Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models
by: Canizales, Ronaldo, et al.
Published: (2026)
by: Canizales, Ronaldo, et al.
Published: (2026)
Safety Controller Synthesis for Collaborative Robots
by: Gleirscher, Mario, et al.
Published: (2020)
by: Gleirscher, Mario, et al.
Published: (2020)
Control Analysis and Design for Autonomous Vehicles Subject to Imperfect AI-Based Perception
by: Yan, Tao, et al.
Published: (2025)
by: Yan, Tao, et al.
Published: (2025)
A Mixture of Linear Corrections Generates Secure Code
by: Yu, Weichen, et al.
Published: (2025)
by: Yu, Weichen, et al.
Published: (2025)
Safe and Efficient CAV Lane Changing using Decentralised Safety Shields
by: Hegde, Bharathkumar, et al.
Published: (2025)
by: Hegde, Bharathkumar, et al.
Published: (2025)
A Collaborative Safety Shield for Safe and Efficient CAV Lane Changes in Congested On-Ramp Merging
by: Hegde, Bharathkumar, et al.
Published: (2026)
by: Hegde, Bharathkumar, et al.
Published: (2026)
Predictive Safety Shield for Dyna-Q Reinforcement Learning
by: Pin, Jin, et al.
Published: (2025)
by: Pin, Jin, et al.
Published: (2025)
Differentiable Optimization Layered Safety-Critical Control for Risk-Aware Navigation via Conformal Prediction
by: Dong, Jinyang, et al.
Published: (2026)
by: Dong, Jinyang, et al.
Published: (2026)
GANs for EVT Based Model Parameter Estimation in Real-time Ultra-Reliable Communication
by: Valiahdi, Parmida, et al.
Published: (2024)
by: Valiahdi, Parmida, et al.
Published: (2024)
Diffusion Model Based Resource Allocation Strategy in Ultra-Reliable Wireless Networked Control Systems
by: Darabi, Amirhassan Babazadeh, et al.
Published: (2024)
by: Darabi, Amirhassan Babazadeh, et al.
Published: (2024)
Reliable and Scalable Robot Policy Evaluation with Imperfect Simulators
by: Badithela, Apurva, et al.
Published: (2025)
by: Badithela, Apurva, et al.
Published: (2025)
Secure Hierarchical Federated Learning in Vehicular Networks Using Dynamic Client Selection and Anomaly Detection
by: HaghighiFard, M. Saeid, et al.
Published: (2024)
by: HaghighiFard, M. Saeid, et al.
Published: (2024)
Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
by: Tabbara, Ihab, et al.
Published: (2025)
by: Tabbara, Ihab, et al.
Published: (2025)
Verification and External Parameter Inference for Stochastic World Models
by: Calinescu, Radu, et al.
Published: (2025)
by: Calinescu, Radu, et al.
Published: (2025)
Efficient Dynamic Shielding for Parametric Safety Specifications
by: Corsi, Davide, et al.
Published: (2025)
by: Corsi, Davide, et al.
Published: (2025)
Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach
by: Li, Xiao, et al.
Published: (2024)
by: Li, Xiao, et al.
Published: (2024)
Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
by: Mavridou, Anastasia, et al.
Published: (2025)
by: Mavridou, Anastasia, et al.
Published: (2025)
EVT-Based Generative AI for Tail-Aware Channel Estimation
by: Valiahdi, Parmida, et al.
Published: (2026)
by: Valiahdi, Parmida, et al.
Published: (2026)
Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation
by: Bethell, Daniel, et al.
Published: (2025)
by: Bethell, Daniel, et al.
Published: (2025)
$α^3$-Bench: A Unified Benchmark of Safety, Robustness, and Efficiency for LLM-Based UAV Agents over 6G Networks
by: Ferrag, Mohamed Amine, et al.
Published: (2026)
by: Ferrag, Mohamed Amine, et al.
Published: (2026)
Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)
by: Schön, Oliver, et al.
Published: (2026)
From Visual Perception to Deep Empathy: An Automated Assessment Framework for House-Tree-Person Drawings Using Multimodal LLMs and Multi-Agent Collaboration
by: Wen, Shuide, et al.
Published: (2025)
by: Wen, Shuide, et al.
Published: (2025)
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
by: Hu, Boyue Caroline, et al.
Published: (2025)
by: Hu, Boyue Caroline, et al.
Published: (2025)
Approximate Model-Based Shielding for Safe Reinforcement Learning
by: Goodall, Alexander W., et al.
Published: (2023)
by: Goodall, Alexander W., et al.
Published: (2023)
Maintaining driver attentiveness in shared-control autonomous driving
by: Calinescu, Radu, et al.
Published: (2021)
by: Calinescu, Radu, et al.
Published: (2021)
DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
by: Yang, Rui, et al.
Published: (2026)
by: Yang, Rui, et al.
Published: (2026)
PaCo-VLA: Passivity-Shielded Compliance Prior for Contact-Rich Vision-Language-Action Manipulation
by: Cao, Haofan, et al.
Published: (2026)
by: Cao, Haofan, et al.
Published: (2026)
Point-Based Value Iteration for POMDPs with Neural Perception Mechanisms
by: Yan, Rui, et al.
Published: (2023)
by: Yan, Rui, et al.
Published: (2023)
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)
by: Foster, Simon, et al.
Published: (2020)
BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)
by: Taheri, Ali, et al.
Published: (2025)
The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems
by: Nesti, Federico, et al.
Published: (2025)
by: Nesti, Federico, et al.
Published: (2025)
Safety-Critical Contextual Control via Online Riemannian Optimization with World Models
by: Li, Tongxin
Published: (2026)
by: Li, Tongxin
Published: (2026)
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)
by: Kranzlmüller, Miriam, et al.
Published: (2026)
Safety-Aware Reinforcement Learning for Electric Vehicle Charging Station Management in Distribution Network
by: Fan, Jiarong, et al.
Published: (2024)
by: Fan, Jiarong, et al.
Published: (2024)
Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
by: Puranic, Aniruddh G., et al.
Published: (2026)
by: Puranic, Aniruddh G., et al.
Published: (2026)
Similar Items
-
Interval POMDP Shielding for Imperfect-Perception Agents
by: Scarbro, William, et al.
Published: (2026) -
Interpretable Attention-Based Multi-Agent PPO for Latency Spike Resolution in 6G RAN Slicing
by: Fatehi, Kavan, et al.
Published: (2026) -
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
by: Bethell, Daniel, et al.
Published: (2024) -
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
by: Kleijwegt, Alex, et al.
Published: (2025) -
Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
by: Bethell, Daniel, et al.
Published: (2025)