Skip to Main content Skip to Navigation
Conference papers

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).
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01653855
Contributor : Nicolas Markey <>
Submitted on : Saturday, December 2, 2017 - 10:19:05 AM
Last modification on : Thursday, January 7, 2021 - 4:38:32 PM
Long-term archiving on: : Saturday, March 3, 2018 - 12:32:22 PM

File

LIPIcs-MFCS-2017-84.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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⟩

Share

Metrics

Record views

711

Files downloads

190