Publications

Conference and Journal Papers

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, to appear

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