A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications
Near-Optimal Reinforcement Learning in Polynomial Time