We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.GT

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computer Science and Game Theory

Title: Solving Infinite Games in the Baire Space

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.
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
Cite as: arXiv:2111.10881 [cs.GT]
  (or arXiv:2111.10881v1 [cs.GT] for this version)

Submission history

From: Benedikt Brütsch [view email]
[v1] Sun, 21 Nov 2021 19:18:39 GMT (38kb,D)

Link back to: arXiv, form interface, contact.