Enforcing temporal logic specifications via reinforcement learning
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints