Publications

Conference and Journal Papers

J. Arias, C. Olarte, L. Petrucci, W. Penczek, T. Sidoruk: Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024), Milan, Italy, September 9-11, 2024, pages 1-14
J. Arias, C. Olarte, Ł. Maśko, L. Petrucci, W. Penczek, T. Sidoruk: Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. IEEE Transactions on Reliability, Volume 73, Issue 2, pages 861-875

J. Arias, W. Jamroga, L. Petrucci, W. Penczek, T. Sidoruk: Strategic (Timed) Computation Tree Logic. Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, United Kingdom, May 29-June 2, 2023, pages 382-390
D. Kurpiewski, W. Jamroga, T. Sidoruk: Towards Modelling and Verification of Social Explainable AI. Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), Lisbon, Portugal, February 22-24, 2023, pages 396-403

D. Kurpiewski, W. Jamroga, Ł. Maśko, Ł. Mikulski, W. Pazderski, W. Penczek, T. Sidoruk: Verification of Multi-Agent Properties in Electronic Voting: A Case Study. Proceedings of Advances in Modal Logic 2022 (AiML 2022), Rennes, France, August 22-25, 2022, pages 531-556
J. Arias, Ł. Maśko, L. Petrucci, W. Penczek, T. Sidoruk: Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. Proceedings of the 26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Hiroshima, Japan, March 26-30, 2022, pages 1-10

W. Jamroga, W. Penczek, T. Sidoruk: Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Virtual Event, November 3-12, 2021, pages 368-378
J. Arias, L. Petrucci, W. Penczek, T. Sidoruk: ADT2AMAS: Managing Agents in Attack-Defence Scenarios. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Virtual Event, May 3-7, 2021, pages 1749-1751
W. Jamroga, W. Penczek, T. Sidoruk: Strategic Abilities of Asynchronous Agents: Semantic Side Effects. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Virtual Event, May 3-7, 2021, pages 1545-1547

J. Arias, C. E. Budde, L. Petrucci, W. Penczek, T. Sidoruk, M. Stoelinga: Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. Proceedings of the 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Singapore, March 1–3, 2021, pages 3-19
W. Jamroga, W. Penczek, T. Sidoruk, P. Dembiński, A. Mazurkiewicz: Towards Partial Order Reductions for Strategic Ability. Journal of Artificial Intelligence Research, Volume 68, 2020, pages 817-850

L. Petrucci, M. Knapik, W. Penczek, T. Sidoruk: Squeezing State Spaces of (Attack-Defence) Trees. Proceedings of the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Guangzhou, China, November 10-13, 2019, pages 71-80
A. Niewiadomski, W. Penczek, T. Sidoruk, P. Świtalski: Applying Modern SAT-solvers to Solving Hard Problems. Fundamenta Informaticae, Volume 165, Issue 3-4, 2019, pages 321-344

A. Niewiadomski, W. Penczek, T. Sidoruk, P. Świtalski: SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. Scientific Annals of Computer Science, Volume 28, Issue 2, 2018, pages 269–288
T. Sidoruk: Investigating Characteristics and Differences Between Easy and Hard SAT Instances. Proceedings of the 27th International Workshop on Concurrency, Specification and Programming (CS&P 2018), Berlin, Germany, September 24-26, 2018, pages 73-79

A. Niewiadomski, W. Penczek, T. Sidoruk: Comparing Efficiency of Modern SAT-solvers for Selected Problems in P, NP, PSPACE, and EXPTIME. Proceedings of 26th International Workshop on Concurrency, Specification and Programming (CS&P 2017), Warsaw, Poland, September 25-27, 2017