STeP:用于VLM动作生成的精确信号时序逻辑规范STeP提出信号时序逻辑用于视觉语言模型动作生成的精确规范定义,确保生成动作满足时序约束和安全要求。Kasra Torshizi, Anukriti Singh, Sidharth Mathur·2026年7月20日视觉语言模型时序逻辑运动生成2026年7月20日