Jerzy Pilecki

According to our database, Jerzy Pilecki authored at least 3 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

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

2014

Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall.

Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga

Proceedings of the Intelligent Systems'2014, 2014

Synthesis and Verification of Uniform Strategies for Multi-agent Systems.

Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga

Proceedings of the Computational Logic in Multi-Agent Systems, 2014