TY  - RPRT
TI  - Adaptive Shielding via Parametric Safety Proofs
AU  - Yao Feng
AU  - Jun Zhu
AU  - André Platzer
AU  - Jonathan Laurent
PY  - 2025
DO  - 10.1145/3720450
UR  - https://arxiv.org/abs/2502.18879
ID  - 2502.18879
ER  -