Temporal Logics for Multi-Agent Systems

Nicolas Markey

doi:10.4230/LIPIcs.MFCS.2017.84

Conference Papers Year :

Temporal Logics for Multi-Agent Systems

(1)

Nicolas Markey

Function : Author
PersonId : 2693
IdHAL : nicolas-markey
ORCID : 0000-0003-1977-7525
IdRef : 073426482

SUpervision of large MOdular and distributed systems

Abstract

This is an overview of an invited talk delivered during the 42nd International Conference on Mathematical Foundations of Computer Science (MFCS 2017).

Keywords

Temporal logics Verification Game theory Strategic reasoning

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Computer Science [cs] Formal Languages and Automata Theory [cs.FL] Computer Science [cs] Multiagent Systems [cs.MA] Computer Science [cs] Computer Science and Game Theory [cs.GT]

Fichier principal

LIPIcs-MFCS-2017-84.pdf (284.17 Ko)

Origin : Publisher files allowed on an open archive

Nicolas Markey : Connect in order to contact the contributor

https://hal.inria.fr/hal-01653855

Submitted on : Saturday, December 2, 2017-10:19:05 AM

Last modification on : Friday, March 24, 2023-2:53:05 PM

Long-term archiving on: Saturday, March 3, 2018-12:32:22 PM

Dates and versions

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

Identifiers

HAL Id : hal-01653855 , version 1
DOI : 10.4230/LIPIcs.MFCS.2017.84

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

425 View

144 Download

Temporal Logics for Multi-Agent Systems

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share