Similar Items: Playing with Repetitions in Data Words Using Energy Games
- Reasoning about Data Repetitions with Counter Systems
- Synthesis of Data Word Transducers
- Playing Stochastically in Weighted Timed Games to Emulate Memory
- Ludics with repetitions (Exponentials, Interactive types and Completeness)
- Computability of Data-Word Transductions over Different Data Domains
- Path Checking for MTL and TPTL over Data Words