@inproceedings{17fde74f350e4221b126e55f0d91fbcc,
title = "Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information",
abstract = "In this paper, we explore strategy-checking algorithms in concurrent games with imperfect information, analyzing their computational complexity in comparison to the perfect information setting. Precisely, we analyze uniform natural strategies used by agents with limited memory and computational capacity. We examine the decision problems of Sure Winning and IsNash, as well as other similar decision problems in formal strategic reasoning. Additionally, we develop a tool that demonstrates the practical applicability of the proposed framework.",
keywords = "Concurrent Games, Multi-Agent Systems, Natural Strategies",
author = "Marco Aruta and Francesco Improta and Vadim Malvone and Aniello Murano",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.; 23rd International Conference on Practical applications of Agents and Multi-Agent Systems, PAAMS 2025 ; Conference date: 25-06-2025 Through 27-06-2025",
year = "2026",
month = jan,
day = "1",
doi = "10.1007/978-3-032-07638-0\_2",
language = "English",
isbn = "9783032076373",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "15--27",
editor = "Philippe Mathieu and \{De la Prieta\}, Fernando",
booktitle = "Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science",
}