DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL - Jackermeier, Mathias; Abate, Alessandro (International Conference on Learning Representations, 2025)