Skip to main content
European Commission logo print header

Logics and Games for Imperfect Information in Multi-Agent Systems


Changing observations in Epistemic Temporal Logic

Author(s): Aurèle Barrière, Bastien Maubert, Sasha Rubin and Aniello Murano
Published in: arXiv, 2018
Publisher: Cornell University

Quantified CTL with imperfect information

Author(s): Berthon, Raphaël; Maubert, Bastien; Murano, Aniello
Published in: arXiv, 2016
Publisher: Cornell University

Strategy logic with imperfect information

Author(s): Raphael Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Published in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-12, ISBN 978-1-5090-3018-7
Publisher: IEEE
DOI: 10.1109/LICS.2017.8005136

Decidability results for ATL* with imperfect information and perfect recall

Author(s): Raphaël Berthon, Bastien Maubert and Aniello Murano
Published in: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017, Page(s) 1250--1258
Publisher: International Foundation for Autonomous Agents and Multiagent Systems

Reasoning about Knowledge and Strategies under Hierarchical Information

Author(s): Bastien Maubert and Aniello Murano
Published in: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018
Publisher: AAAI Press

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available