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...

Celý popis

Podrobná bibliografia

Vydané v:	TheoretiCS Ročník 2
Hlavný autor:	Ohlmann, Pierre
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	TheoretiCS Foundation e.V 31.01.2023
Predmet:	Computer Science computer science - computer science and game theory computer science - logic in computer science Mathematics
ISSN:	2751-4838, 2751-4838
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!