@article{whenautomatameetstreamstemporallogiccomp,
  title = {When Automata Meet Streams: Temporal Logic Compilation for Stream-Based Robotics Task and Motion Planning},
  author = {Sayem Nazmuz Zaman and Cyrus Neary},
  year = {2026},
  eprint = {2608.19453},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.19453},
}