stochastic games in artificial intelligence