@misc{indiciae0a1120c790d3,
  title = {Efficient Dynamic Shielding for Parametric Safety Specifications},
  author = {Davide Corsi and Kaushik Mallik and Andoni Rodriguez and Cesar Sanchez},
  year = {2026},
  url = {https://arxiv.org/abs/2505.22104},
  note = {Source identifier: 2505.22104}
}