Memory Reduction via Delayed Simulation

We address a central (and classical) issue in the theory of infinite games: the reduction of the memory size that is needed to implement winning strategies in regular infinite games (i.e., controllers that ensure correct behavior against actions of the environment, when the specification is a regula...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2011-02
Hauptverfasser:	Gelderie, Marcus, Holtmann, Michael
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Computer Science and Game Theory Game theory Reduction Specifications
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!