Playing with Repetitions in Data Words Using Energy Games

DOI10.1145/3209108.3209154zbMath1497.91007arXiv1802.07435MaRDI QIDQ3300789

Diego Figueira, Anirban Majumdar, M. Praveen

Publication date: 30 July 2020

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.07435

zbMATH Keywords

two-player games; data words; logic of repeating values

Mathematics Subject Classification ID

91A05: 2-person games

03B70: Logic in computer science

03B25: Decidability of theories and sets of sentences

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)