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

Full description

Bibliographic Details

Published in:	TheoretiCS Vol. 2
Main Author:	Ohlmann, Pierre
Format:	Journal Article
Language:	English
Published:	TheoretiCS Foundation e.V 31.01.2023
Subjects:	Computer Science computer science - computer science and game theory computer science - logic in computer science Mathematics
ISSN:	2751-4838, 2751-4838
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!