Safety Verification for Autonomous Robotic Systems Using LLMs

Novel formal methods approach to verifying safety constraints in LLM-controlled robotic systems across 8 real-world scenarios.