Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong
arXiv:2604.23523v1 Announce Type: cross
Abstract: Safety specifications in cyber-physical systems (CPS) capture the operational conditions the system must satisfy to operate safely within its intended environment. As operating environments evolve, ope…