2 papers
cs.RO2026
Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems
Ike Obi, Vishnunandan L. N. Venkatesh, Weizheng Wang +5
Large Language Models (LLMs) are increasingly used to convert task commands into robot-executable code, however this pipeline lacks validation gates to detect unsafe and defective…
cs.RO2025
SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning
Ike Obi, Vishnunandan L. N. Venkatesh, Weizheng Wang +5
Robotics researchers increasingly leverage large language models (LLM) in robotics systems, using them as interfaces to receive task commands, generate task plans, form team coalit…