Showing cs.MAShow all
2 papers · 1 filter
cs.MA2025
Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
Dilian Gurov, Filip Jamroga, Wojciech Jamroga +4
Model checking of strategic abilities for agents with memory is a notoriously hard problem, and very few attempts have been made to tackle it. In this paper, we present two importa…
cs.MA2025
Unattainability of Common Knowledge in Asymmetric Games with Imperfect Information
Fabian Farestam, Dilian Gurov
In this paper, we present a conceptual model game to examine the dynamics of asymmetric interactions in games with imperfect information. The game involves two agents with starkly…