Distributed Asynchronous Games With Causal Memory are Undecidable

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.

Authors

• Hugo Gimbert

Keywords

No keywords are indexed for this paper.