Playing with Repetitions in Data Words Using Energy Games.

Diego Figueira, M. Praveen

Browse the full LICS paper archive.