Hugo Gimbert - Distributed Asynchronous Games With Causal Memory are Undecidable

lmcs:8641 - Logical Methods in Computer Science, September 8, 2022, Volume 18, Issue 3 - https://doi.org/10.46298/lmcs-18(3:30)2022
Distributed Asynchronous Games With Causal Memory are UndecidableArticle

Authors: Hugo Gimbert

    We show the undecidability of the distributed control problem when the plant is an asynchronous automaton, the controllers use causal memory and the goal of the controllers is to put each process in a local accepting state.

    https://doi.org/10.46298/lmcs-18(3:30)2022
    Source: arXiv.org:2110.14768
    Volume: Volume 18, Issue 3
    Published on: September 8, 2022
    Accepted on: June 10, 2022
    Submitted on: November 2, 2021
    Keywords: Computer Science - Computer Science and Game Theory, Electrical Engineering and Systems Science - Systems and Control
    Licence: Attribution 4.0 International (CC BY 4.0)

    2 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 2492 times.
    This article's PDF has been downloaded 589 times.