TY  - RPRT
TI  - Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
AU  - Dilian Gurov
AU  - Filip Jamroga
AU  - Wojciech Jamroga
AU  - Mateusz Kamiński
AU  - Damian Kurpiewski
AU  - Wojciech Penczek
AU  - Teofil Sidoruk
PY  - 2025
UR  - https://arxiv.org/abs/2412.06706
ID  - 2412.06706
ER  -