References & Citations
Computer Science > Computer Science and Game Theory
Title: Solving Infinite Games in the Baire Space
(Submitted on 21 Nov 2021 (this version), latest version 3 Oct 2022 (v4))
Abstract: Infinite games (in the form of Gale-Stewart games) are studied where a play is a sequence of natural numbers chosen by two players in alternation, the winning condition being a subset of the Baire space $\omega^\omega$. We consider such games defined by a natural kind of parity automata over the alphabet $\mathbb{N}$, called $\mathbb{N}$-MSO-automata, where transitions are specified by monadic second-order formulas over the successor structure of the natural numbers. It is shown that the classical B\"uchi-Landweber Theorem (for finite-state games in the Cantor space $2^\omega$) holds again for the present games: A game defined by a parity $\mathbb{N}$-MSO-automaton is determined, the winner can be decided, and a winning strategy of the winner can be constructed that is realizable by an $\mathbb{N}$-MSO-transducer.
Submission history
From: Benedikt Brütsch [view email][v1] Sun, 21 Nov 2021 19:18:39 GMT (38kb,D)
[v2] Wed, 30 Mar 2022 09:12:00 GMT (48kb,D)
[v3] Tue, 23 Aug 2022 19:45:53 GMT (48kb)
[v4] Mon, 3 Oct 2022 13:56:28 GMT (48kb)
Link back to: arXiv, form interface, contact.