Concurrent Stochastic Games
A concurrent stochastic game is a two-player game played on a graph, where the two players simultaneously choose actions in each round, determining a transition leading to a probability distribution over successor states. In this project, we work on an approach that can provide guarantees on the precision of the solution. In particular, we develop a value iteration algorithm that can provide lower and upper bounds for the value achievable in each game state.
Team
