Enforcing temporal logic specifications via reinforcement learning
Asynchronous Stochastic Approximation and Q-Learning