PlatoLTL: Scaling LTL-Guided Multi-Task RL
DGX agentarXiv:2601.22891v3 Announce Type: replace Abstract: Linear temporal logic (LTL) has emerged as a powerful formalism for specifying structured, temporally extended tasks in multi-task reinforcement lea