TY  - RPRT
TI  - When Automata Meet Streams: Temporal Logic Compilation for Stream-Based Robotics Task and Motion Planning
AU  - Sayem Nazmuz Zaman
AU  - Cyrus Neary
PY  - 2026
UR  - https://arxiv.org/abs/2608.19453
ID  - 2608.19453
ER  -