Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski. Towards Assume-Guarantee Verification of Strategic Ability. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor, editors, 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022. pages 1702-1704, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022. [doi]
Abstract is missing.