TY - RPRT TI - Directed Exploration in Reinforcement Learning from Linear Temporal Logic AU - Marco Bagatella AU - Andreas Krause AU - Georg Martius PY - 2025 UR - https://arxiv.org/abs/2408.09495 ID - 2408.09495 ER -