Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano. Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. In Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum, editors, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024. pages 160-169, ACM, 2024. [doi]
Abstract is missing.