Accelerated Reinforcement Learning for Temporal Logic Control Objectives - 42Papers