TY - RPRT TI - Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots AU - Dan BW Choe AU - Sundhar Vinodh Sangeetha AU - Steven Emanuel AU - Chih-Yuan Chiu AU - Samuel Coogan AU - Shreyas Kousik PY - 2025 UR - https://arxiv.org/abs/2505.13376 ID - 2505.13376 ER -