TY - RPRT TI - Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong AU - Khouloud Gaaloul AU - Zaid Ghazal AU - Madhu Latha Pulimi AU - Sam Emmanuel Kathiravan PY - 2026 DO - 10.1145/3788550.3794884 10.1145/3788550.3794884 UR - https://arxiv.org/abs/2604.23523 ID - 2604.23523 ER -