Mind the Refinement Gap: When Safe High-Level Robot Plans Produce Unsafe Executions

Stabak Das, Priyesh Ranjan, Xiangfang Li +1

Language-enabled robot systems increasingly combine semantic-graph planning with temporal-logic safety monitors. We investigate a trace-completeness assumption in these systems: wh…