Jerzy Pilecki

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Computational Logic

Imperfect Information

Top Venues

J. Log. Comput.

IEEE Conf. on Intelligent Systems (1)

Publications

Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. J. Log. Comput. 27 (7) (2017)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA (2014)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. IEEE Conf. on Intelligent Systems (1) (2014)