Before revision:  We then extend this idea to the dynamic case, when player' s types are dynamically evolving as a controlled Markov process.
After revision:  We then extend this idea to the dynamic case, when agents' types are dynamically evolving as a controlled Markov process.