Playing with Repetitions in Data Words Using Energy Games

Diego Figueira, Anirban Majumdar, M. Praveen

We introduce two-player games which build words over infinite alphabets, and we study the problem of checking the existence of winning strategies. These games are played by two pla…