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