TY  - RPRT
TI  - Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
AU  - Jieke Shi
AU  - Junda He
AU  - Zhou Yang
AU  - Đorđe Žikelić
AU  - David Lo
PY  - 2025
UR  - https://arxiv.org/abs/2410.05641
ID  - 2410.05641
ER  -