STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow

Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga. STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. 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 2812-2814, ACM, 2024. [doi]

Abstract

Abstract is missing.