Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots. - Dan BW Choe; Sundhar Vinodh Sangeetha; Steven Emanuel; Chih-Yuan Chiu; Samuel Coogan 001; Shreyas Kousik (CoRR, 2025)