Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano. Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. 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 271-280, ACM, 2024. [doi]
Abstract is missing.