Temporal Logics for Multi-Agent Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Temporal Logics for Multi-Agent Systems

Résumé

This is an overview of an invited talk delivered during the 42nd International Conference on Mathematical Foundations of Computer Science (MFCS 2017).
Fichier principal
Vignette du fichier
LIPIcs-MFCS-2017-84.pdf (284.17 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01653855 , version 1 (02-12-2017)

Identifiants

Citer

Nicolas Markey. Temporal Logics for Multi-Agent Systems. MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.84:1-84:3, ⟨10.4230/LIPIcs.MFCS.2017.84⟩. ⟨hal-01653855⟩
426 Consultations
156 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More