Logics and Games for Imperfect Information in Multi-Agent Systems

Projektinformationen

LoGIcInMAS

ID Finanzhilfevereinbarung: 709188

DOI 10.3030/709188

Projekt abgeschlossen

EK-Unterschriftsdatum 23 Februar 2016

Startdatum 1 April 2016

Enddatum 31 März 2018

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten € 168 277,20

EU-Beitrag € 168 277,20

Koordiniert durch

UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II
Italy

Veröffentlichungen

Other (2)

Changing observations in Epistemic Temporal Logic

Autoren: Aurèle Barrière, Bastien Maubert, Sasha Rubin and Aniello Murano
Veröffentlicht in: arXiv, 2018
Herausgeber: Cornell University

Quantified CTL with imperfect information

Autoren: Berthon, Raphaël; Maubert, Bastien; Murano, Aniello
Veröffentlicht in: arXiv, 2016
Herausgeber: Cornell University

Conference proceedings (3)

Strategy logic with imperfect information

Autoren: Raphael Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Veröffentlicht in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Seite(n) 1-12, ISBN 978-1-5090-3018-7
Herausgeber: IEEE
DOI: 10.1109/LICS.2017.8005136

Decidability results for ATL* with imperfect information and perfect recall

Autoren: Raphaël Berthon, Bastien Maubert and Aniello Murano
Veröffentlicht in: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017, Seite(n) 1250--1258
Herausgeber: International Foundation for Autonomous Agents and Multiagent Systems

Reasoning about Knowledge and Strategies under Hierarchical Information

Autoren: Bastien Maubert and Aniello Murano
Veröffentlicht in: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018
Herausgeber: AAAI Press