Distributed Asynchronous Games With Causal Memory are Undecidable - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

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.

Domaines

Informatique et théorie des jeux [cs.GT] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
main.pdf (375.08 Ko) Télécharger le fichier
main (1).pdf (375.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Hugo Gimbert  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03406466

Soumis le : samedi 30 octobre 2021-23:45:34

Dernière modification le : vendredi 24 mars 2023-14:53:23

Télécharger pour visualiser

Dates et versions

hal-03406466 , version 1 (27-10-2021)
hal-03406466 , version 2 (30-10-2021)
hal-03406466 , version 3 (11-04-2022)
hal-03406466 , version 4 (12-04-2022)

Identifiants

  • HAL Id : hal-03406466 , version 2

Citer

Hugo Gimbert. Distributed Asynchronous Games With Causal Memory are Undecidable. 2021. ⟨hal-03406466v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
43 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More