79 citations · 98 across the 12 of their papers we have counts for
1 paper · 1 filter
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…