cs.MA cs.LO
Dilian Gurov Filip Jamroga Wojciech Jamroga Mateusz Kamiński Damian Kurpiewski Wojciech Penczek Teofil Sidoruk
Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies