Temporal Logic Planning via Zero-Shot Policy Composition. - Taylor Bergeron; Zachary Serlin; Kevin Leahy 001 (CoRR, 2024)