Mind the Refinement Gap: When Safe High-Level Robot Plans Produce Unsafe Executions
Language-enabled robot systems increasingly combine semantic-graph planning with temporal-logic safety monitors. We investigate a trace-completeness assumption in these systems: whether the high-level action sequence checked by a monitor represents the navigation and implicit action effects induced during execution. We...
Stabak Das, Priyesh Ranjan, Xiang-Fang Li et al.
· 0 citations