Games with bound guess actions

We introduce games with (bound) guess actions. These are games in which the players may be asked along the play to provide numbers that need to satisfy some bounding constraints. These are natural extensions of domination games occurring in the regular cost function theory. In this paper we consider...

Full description

Saved in:
Bibliographic Details
Published in2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) pp. 1 - 10
Main Authors Colcombet, Thomas, Goller, Stefan
Format Conference Proceeding
LanguageEnglish
Published ACM 01.07.2016
Subjects
Automata
Cost function
Games
Reactive power
Registers
Task analysis
Online AccessGet full text

Cover

More Information
Summary:We introduce games with (bound) guess actions. These are games in which the players may be asked along the play to provide numbers that need to satisfy some bounding constraints. These are natural extensions of domination games occurring in the regular cost function theory. In this paper we consider more specifically the case where the constraints to be bounded are regular cost functions, and the long term goal is an ω-regular winning condition. We show that such games are decidable on finite arenas.
ISSN:2575-5528