Temporal Logics for Multi-Agent Systems (Invited Talk)

Author Nicolas Markey



PDF
Thumbnail PDF

File

LIPIcs.MFCS.2017.84.pdf
  • Filesize: 284 kB
  • 3 pages

Document Identifiers

Author Details

Nicolas Markey

Cite AsGet BibTex

Nicolas Markey. Temporal Logics for Multi-Agent Systems (Invited Talk). In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 83, pp. 84:1-84:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.MFCS.2017.84

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.

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail