M Bagatella, A Krause, G Martius - arXiv preprint arXiv:2408.09495, 2024 - arxiv.org
Linear temporal logic (LTL) is a powerful language for task specification in reinforcement
learning, as it allows describing objectives beyond the expressivity of conventional …