notesum.ai

Published at December 9

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies

cs.MA
cs.LO

Released Date: December 9, 2024

Authors: Dilian Gurov1, Filip Jamroga, Wojciech Jamroga, Mateusz Kamiński, Damian Kurpiewski, Wojciech Penczek, Teofil Sidoruk

Aff.: 1KTH Royal Institute of Technology, Stockholm, Sweden

Arxiv: http://arxiv.org/pdf/2412.06706v1