Decidability results for ATL* with imperfect information and perfect recall

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Raphaël Berthon, Bastien Maubert and Aniello Murano

Journal title: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems

Journal publisher: International Foundation for Autonomous Agents and Multiagent Systems

Published year: 2017

Published pages: 1250--1258