@misc{indiciae5badc39feb70,
  title = {Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies},
  author = {Dilian Gurov and Filip Jamroga and Wojciech Jamroga and Mateusz Kamiński and Damian Kurpiewski and Wojciech Penczek and Teofil Sidoruk},
  year = {2025},
  url = {https://arxiv.org/abs/2412.06706},
  note = {Source identifier: 2412.06706}
}