Publications Other (2) 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 Conference proceedings (3) 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
