Efficient Dynamic Shielding for Parametric Safety Specifications | Publicación