TSG：面向文本到视频生成的时间规范引导框架

Temporal Specification Guidance（TSG）是一个免训练的推理时框架，将形式化时序逻辑规范转化为视频生成采样的可执行引导目标。它借助 video-text attention traces 与 Metric Temporal Logic 的可微分数构造增强 CFG 的去噪方向，无需外部概念分类器或反向传播。