arXiv AI By Davide Corsi, Kaushik Mallik, Andoni Rodriguez, Cesar Sanchez

Efficient Dynamic Shielding for Parametric Safety Specifications

Read the original on arXiv AI →

arXiv:2505. 22104v2 Announce Type: replace Abstract: Shielding has emerged as a promising approach for ensuring safety of AI-controlled autonomous systems.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv AI.

arXiv AI
Aug 5

Shielding for Higher-Order Safety

arXiv:2608. 03662v1 Announce Type: new Abstract: Safety shields are runtime enforcement mechanisms that restrict the actions of a controller to guarantee safety.

By Filip Cano, Thomas A. Henzinger, Konstantin Kueffner