@misc{indiciae2fa84615b4a1,
  title = {Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies},
  author = {Jieke Shi and Junda He and Zhou Yang and Đorđe Žikelić and David Lo},
  year = {2025},
  url = {https://arxiv.org/abs/2410.05641},
  note = {Source identifier: 2410.05641}
}