How do we remember the past in randomised strategies?

Julien Cristau, Claire David, Florian Horn

Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represen…