Probably approximately correct learning in stochastic games with temporal logic specifications
Synthesis for multi-objective stochastic games: an application to autonomous urban driving