@misc{indiciaeda6cd7c878cb,
  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},
  url = {https://arxiv.org/abs/2608.19453},
  note = {Source identifier: 2608.19453}
}