Synthesis and Verification of Uniform Strategies for Multi-agent Systems. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (CLIMA, 2014)

Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (IEEE Conf. on Intelligent Systems (1), 2014)

SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (J. Log. Comput., 2017)