Temporal Specification Guidance for Controlled Text-to-Video Generation

TSG is a training-free inference-time framework that uses differentiable quantitative semantics to guide video denoising toward formal temporal logic specifications. It steers video-text attention traces to satisfy ordering, timing, and persistence requirements without needing external classifiers.