Efficient Dynamic Shielding for Parametric Safety Specifications
DGX agentarXiv:2505.22104v2 Announce Type: replace Abstract: Shielding has emerged as a promising approach for ensuring safety of AI-controlled autonomous systems. The algorithmic goal is to compute a shield,