STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. - Mateusz Kaminski; Damian Kurpiewski; Wojciech Jamroga (AAMAS, 2024)

STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. - Damian Kurpiewski; Mateusz Kaminski; Wojciech Jamroga (ECAI, 2024)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies. - Dilian Gurov; Filip Jamroga; Wojciech Jamroga; Mateusz Kaminski; Damian Kurpiewski; Wojciech Penczek; Teofil Sidoruk (CoRR, 2024)