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 Undecidable

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.


    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

    Share

    Consultation statistics

    This page has been seen 453 times.
    This article's PDF has been downloaded 166 times.