Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano. Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information. In Philippe Mathieu, Fernando de la Prieta, editors, Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection - 23rd International Conference, PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings. Volume 16031 of Lecture Notes in Computer Science, pages 15-27, Springer, 2025. [doi]
Abstract is missing.