Half-positional \(\omega\)-regular languages

In the context of two-player games over graphs, a language \(L\) is called half-positional if, in all games using \(L\) as winning objective, the protagonist can play optimally using positional strategies, that is, strategies that do not depend on the history of the play. In this work, we describe t...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Casares, Antonio, Ohlmann, Pierre
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 27.01.2024
Subjects
Games
Languages
Polynomials
Online AccessGet full text

Cover

More Information
Summary:In the context of two-player games over graphs, a language \(L\) is called half-positional if, in all games using \(L\) as winning objective, the protagonist can play optimally using positional strategies, that is, strategies that do not depend on the history of the play. In this work, we describe the class of parity automata recognising half-positional languages, providing a complete characterisation of half-positionality for \(\omega\)-regular languages. As corollaries, we establish decidability of half-positionality in polynomial time, finite-to-infinite and 1-to-2-players lifts, and show the closure under union of prefix-independent half-positional objectives, answering a conjecture by Kopczyński.
ISSN:2331-8422