Fast Reinforcement Learning for Mobile Robots with Temporal Logic Missions - 42Papers