Directed Exploration in Reinforcement Learning from Linear Temporal Logic

Marco Bagatella, Andreas Krause, Georg Martius

Linear temporal logic (LTL) is a powerful language for task specification in reinforcement learning, as it allows describing objectives beyond the expressivity of conventional disc…