Temporal Logics for Multi-Agent Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Temporal Logics for Multi-Agent Systems

(1)
1

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⟩
425 View
142 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More