CASTER:将合成视频驱动的零样本操作形式化为约束优化 | RoboAIRadar