{
  "id": 5354,
  "url": "https://arxiv.org/abs/2604.23523v1",
  "title": "Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong",
  "summary": "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. Language-in-the-lo",
  "authors": "Khouloud Gaaloul, Zaid Ghazal, Madhu Latha Pulimi, Sam Emmanuel Kathiravan",
  "category": "research",
  "topics": "military-security,environment",
  "orgs": null,
  "regions": null,
  "published_at": "2026-04-26T04:10:56.000Z",
  "fetched_at": "2026-07-14T16:31:40.222Z",
  "source_slug": "arxiv-ethics",
  "source_name": "arXiv",
  "source_homepage": "https://arxiv.org",
  "ethics_ai_record_url": "https://ethics.ai/record/5354",
  "original_url": "https://arxiv.org/abs/2604.23523v1",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}