Learning to Count up to Symmetry

Pierre Clairambault

In this paper we develop the theory of how to count, in thin concurrent games, the configurations of a strategy witnessing that it reaches a certain configuration of the game. This…