Distributed Asynchronous Games With Causal Memory are Undecidable

10/27/2021

∙

by   Hugo Gimbert, et al.

∙

0

∙

share

We show the undecidability of the controller synthesis problem when both the plant and the controllers are asynchronous automata and the controllers have causal memory