Distributed Asynchronous Games With Causal Memory are Undecidable
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)