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, operational rules must be continuously refined to...