TY - RPRT TI - DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL AU - Mathias Jackermeier AU - Alessandro Abate PY - 2025 UR - https://arxiv.org/abs/2410.04631 ID - 2410.04631 ER -