Probably approximately correct learning in stochastic games with temporal logic specifications
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints