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)

4 Documents citing this article

Share and export

Consultation statistics

This page has been seen 2611 times.
This article's PDF has been downloaded 681 times.