Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
DGX agentarXiv:2511.02605v3 Announce Type: replace Abstract: Shielding is widely used to enforce safety in reinforcement learning (RL), ensuring that an agent's actions remain compliant with formal specificati