Playing with Repetitions in Data Words Using Energy Games

Diego Figueira, Anirban Majumdar, M. Praveen. Playing with Repetitions in Data Words Using Energy Games. Logical Methods in Computer Science, 16(3), 2020. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: