Temporal Logics for Multi-Agent Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Temporal Logics for Multi-Agent Systems

Abstract

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
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

Cite

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 View
156 Download

Altmetric

Share

Gmail Facebook X LinkedIn More