Patricia Bouyer ; Antonio Casares ; Mickael Randour ; Pierre Vandenhove - Half-Positional Objectives Recognized by Deterministic Büchi Automata

lmcs:11106 - Logical Methods in Computer Science, August 29, 2024, Volume 20, Issue 3 - https://doi.org/10.46298/lmcs-20(3:19)2024
Half-Positional Objectives Recognized by Deterministic Büchi AutomataArticle

Authors: Patricia Bouyer ; Antonio Casares ; Mickael Randour ; Pierre Vandenhove

    In two-player games on graphs, the simplest possible strategies are those that can be implemented without any memory. These are called positional strategies. In this paper, we characterize objectives recognizable by deterministic Büchi automata (a subclass of omega-regular objectives) that are half-positional, that is, for which the protagonist can always play optimally using positional strategies (both over finite and infinite graphs). Our characterization consists of three natural conditions linked to the language-theoretic notion of right congruence. Furthermore, this characterization yields a polynomial-time algorithm to decide half-positionality of an objective recognized by a given deterministic Büchi automaton.


    Volume: Volume 20, Issue 3
    Published on: August 29, 2024
    Accepted on: July 22, 2024
    Submitted on: March 22, 2023
    Keywords: Computer Science - Computer Science and Game Theory,Computer Science - Formal Languages and Automata Theory,Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 707 times.
    This article's PDF has been downloaded 263 times.