Optimal strategy synthesis for request-response games
From MaRDI portal
Publication:3465629
DOI10.1051/ita/2015005zbMath1347.68206arXiv1406.4648MaRDI QIDQ3465629
Martín G. Zimmermann, Wolfgang Thomas, Nico Wallmeier, Florian Horn
Publication date: 22 January 2016
Published in: RAIRO - Theoretical Informatics and Applications, Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.4648
91A05: 2-person games
91A43: Games involving graphs
91A80: Applications of game theory
68Q45: Formal languages and automata
91A44: Games involving topology, set theory, or logic