文章基本信息

标题：Temporal Logics for Multi-Agent Systems (Invited Talk)
本地全文：下载
作者：Nicolas Markey
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：83
页码：84:1-84:3
DOI：10.4230/LIPIcs.MFCS.2017.84
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：This is an overview of an invited talk delivered during the 42nd International Conference on Mathematical Foundations of Computer Science (MFCS 2017).
关键词：Temporal logics; verification; game theory; strategic reasoning.