Games Where You Can Play Optimally with Arena-Independent Finite Memory

For decades, two-player (antagonistic) games on graphs have been a framework of choice for many important problems in theoretical computer science. A notorious one is controller synthesis, which can be rephrased through the game-theoretic metaphor as the quest for a winning strategy of the system in...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 18, Issue 1
Main Authors:	Bouyer, Patricia, Roux, Stéphane Le, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science Association 17.01.2022 Logical Methods in Computer Science e.V
Subjects:	Computer Science computer science - computer science and game theory computer science - formal languages and automata theory computer science - logic in computer science Computer Science and Game Theory Logic in Computer Science
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!