AI RESEARCH
Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong
arXiv CS.AI
•
ArXi:2604.23523v1 Announce Type: cross 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 preserve consistency with observed system behavior during simulation-based verification and validation. Revising inconsistent rules is challenging because the changes must remain syntactically correct under a domain-specific grammar.