There are 0 repository under stochastic-games topic.
Equilibria computation in zero-sum games.
A tool for computing conditional expected rewards for stochastic games with reachability and total rewards objectives. It has it´s own data type for an stochastic game.