2026preprint

Temporal Specification Guidance for Text-to-Video Generation

Avishree Khare, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Rajeev Alur

Under review at International Conference on Learning Representations (ICLR), 2027; arXiv preprint arXiv:2610.20822, 2026

Topics: Learning-based Control and Analysis; Testing; Falsification; and Specification

Citation

@inproceedings{Khare26-TSG,
  title = {Temporal Specification Guidance for Text-to-Video Generation},
  author = {Avishree Khare and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Rajeev Alur},
  booktitle = {Under review at International Conference on Learning Representations (ICLR), 2027; arXiv preprint arXiv:2610.20822, 2026},
  year = {2026},
  url = {https://arxiv.org/abs/2610.20822},
  keywords = {Learning-based Control and Analysis, Testing, Falsification, and Specification}
}