@misc{kamath2025enforcingtemporalconstraintsllm,
      title={Enforcing Temporal Constraints for LLM Agents}, 
      author={Adharsh Kamath and Sishen Zhang and Calvin Xu and Shubham Ugare and Gagandeep Singh and Sasa Misailovic},
      year={2025},
      eprint={2512.23738},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2512.23738}, 
}