activity
20152025
most citedFixpoint Approximation of Strategic Abilities under Imperfect Information

7 citations · 8 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.MA2024

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…