Characterizing Positionality in Games of Infinite Duration over Infinite Graphs

We study turn-based quantitative games of infinite duration opposing two antagonistic players and played over graphs. This model is widely accepted as providing the adequate framework for formalizing the synthesis question for reactive systems. This important application motivates the question of st...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	TheoretiCS Jg. 2
1. Verfasser:	Ohlmann, Pierre
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	TheoretiCS Foundation e.V 31.01.2023
Schlagworte:	Computer Science computer science - computer science and game theory computer science - logic in computer science Mathematics
ISSN:	2751-4838, 2751-4838
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!