TY  - RPRT
TI  - Formal Policy Enforcement for Real-World Agentic Systems
AU  - Nils Palumbo
AU  - Sarthak Choudhary
AU  - Jihye Choi
AU  - Guy Amir
AU  - Prasad Chalasani
AU  - Somesh Jha
PY  - 2026
UR  - https://arxiv.org/abs/2602.16708
ID  - 2602.16708
ER  -