Cover Image

Efficient Dynamic Shielding for Parametric Safety Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Corsi, Davide, Mallik, Kaushik, Rodriguez, Andoni, Sanchez, Cesar
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Efficient Shield Synthesis via State-Space Transformation
by: Brorholt, Asger Horn, et al.
Published: (2024)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
by: Sharifi, Iman, et al.
Published: (2023)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
by: So, Oswin, et al.
Published: (2026)

Explanations for Unrealizability of Infinite-State Safety Shields
by: Rodriguez, Andoni, et al.
Published: (2025)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
by: Teuber, Samuel, et al.
Published: (2025)

Verification of Autonomous Neural Car Control with KeYmaera X
by: Prebet, Enguerrand, et al.
Published: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
by: Azeem, Muqsit, et al.
Published: (2024)

Predictive Safety Shield for Dyna-Q Reinforcement Learning
by: Pin, Jin, et al.
Published: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
by: Henzinger, Thomas A., et al.
Published: (2025)

Taming Silent Failures: A Framework for Verifiable AI Reliability
by: Yang, Guan-Yan, et al.
Published: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
by: Bozkurt, Alper Kamil, et al.
Published: (2021)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Robust Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2026)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
by: Brorholt, Asger Horn, et al.
Published: (2024)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
by: Brorholt, Asger Horn, et al.
Published: (2025)

PiShield: A PyTorch Package for Learning with Requirements
by: Stoian, Mihaela Cătălina, et al.
Published: (2024)

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

Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
by: Tabbara, Ihab, et al.
Published: (2025)

Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics
by: Hu, Haimin
Published: (2026)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
by: Sidrane, Chelsea, et al.
Published: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
by: Ramirez, Miquel, et al.
Published: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
by: Mandal, Udayan, et al.
Published: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
by: Sidrane, Chelsea, et al.
Published: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)