Thomas Colcombet ; Nathanaël Fijalkow ; Florian Horn - Playing Safe, Ten Years Later

lmcs:10547 - Logical Methods in Computer Science, January 29, 2024, Volume 20, Issue 1 - https://doi.org/10.46298/lmcs-20(1:10)2024
Playing Safe, Ten Years LaterArticle

Authors: Thomas Colcombet ; Nathanaël Fijalkow ; Florian Horn

    We consider two-player games over graphs and give tight bounds on the memory size of strategies ensuring safety objectives. More specifically, we show that the minimal number of memory states of a strategy ensuring a safety objective is given by the size of the maximal antichain of left quotients with respect to language inclusion. This result holds for all safety objectives without any regularity assumptions. We give several applications of this general principle. In particular, we characterize the exact memory requirements for the opponent in generalized reachability games, and we prove the existence of positional strategies in games with counters.


    Volume: Volume 20, Issue 1
    Published on: January 29, 2024
    Accepted on: January 12, 2024
    Submitted on: December 26, 2022
    Keywords: Computer Science - Computer Science and Game Theory,Computer Science - Formal Languages and Automata Theory

    Consultation statistics

    This page has been seen 767 times.
    This article's PDF has been downloaded 402 times.