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á bibliografie

Vydáno v:	TheoretiCS Ročník 2
Hlavní autor:	Ohlmann, Pierre
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	TheoretiCS Foundation e.V 31.01.2023
Témata:	Computer Science computer science - computer science and game theory computer science - logic in computer science Mathematics
ISSN:	2751-4838, 2751-4838
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!