Temporal Logics for Multi-Agent Systems

Nicolas Markey 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This is an overview of an invited talk delivered during the 42nd International Conference on Mathematical Foundations of Computer Science (MFCS 2017).
Type de document :
Communication dans un congrès
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. 〈10.4230/LIPIcs.MFCS.2017.84〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01653855
Contributeur : Nicolas Markey <>
Soumis le : samedi 2 décembre 2017 - 10:19:05
Dernière modification le : mercredi 16 mai 2018 - 11:24:13
Document(s) archivé(s) le : samedi 3 mars 2018 - 12:32:22

Fichier

LIPIcs-MFCS-2017-84.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

Nicolas Markey. Temporal Logics for Multi-Agent Systems. MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. 〈10.4230/LIPIcs.MFCS.2017.84〉. 〈hal-01653855〉

Partager

Métriques

Consultations de la notice

437

Téléchargements de fichiers

57