| Towards partial order reductions for strategic ability W Jamroga, W Penczek, T Sidoruk, P Dembiński, A Mazurkiewicz Journal of Artificial Intelligence Research 68, 817-850, 2020 | 46 | 2020 |
| Hackers vs. security: attack-defence trees as asynchronous multi-agent systems J Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M Stoelinga International conference on formal engineering methods, 3-19, 2020 | 16 | 2020 |
| Applying modern sat-solvers to solving hard problems A Niewiadomski, P Switalski, T Sidoruk, W Penczek Fundamenta Informaticae 165 (3-4), 321-344, 2019 | 13 | 2019 |
| Squeezing state spaces of (attack-defence) trees L Petrucci, M Knapik, W Penczek, T Sidoruk 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 9 | 2019 |
| Verification of multi-agent properties in electronic voting: A case study D Kurpiewski, W Jamroga, Ł Maśko, Ł Mikulski, W Pazderski, W Penczek, ... arXiv preprint arXiv:2310.15789, 2023 | 8 | 2023 |
| Strategic (timed) computation tree logic J Arias, W Jamroga, W Penczek, L Petrucci, T Sidoruk arXiv preprint arXiv:2302.13405, 2023 | 6 | 2023 |
| Strategic abilities of asynchronous agents: Semantic side effects and how to tame them W Jamroga, W Penczek, T Sidoruk arXiv preprint arXiv:2003.03867, 2020 | 5 | 2020 |
| Towards modelling and verification of social explainable AI D Kurpiewski, W Jamroga, T Sidoruk arXiv preprint arXiv:2302.01063, 2023 | 4 | 2023 |
| Minimal schedule with minimal number of agents in attack-defence trees J Arias, L Petrucci, Ł Maśko, W Penczek, T Sidoruk 2022 26th International Conference on Engineering of Complex Computer …, 2022 | 4 | 2022 |
| ADT2AMAS: Managing agents in attack-defence scenarios J Arias, W Penczek, L Petrucci, T Sidoruk AAMAS'21: 20th International Conference on Autonomous Agents and Multiagent …, 2021 | 4 | 2021 |
| Strategic abilities of asynchronous agents: Semantic paradoxes and how to tame them W Jamroga, W Penczek, T Sidoruk CoRR abs/2003.03867. Revised version, 2021 | 3 | 2021 |
| Comparing Efficiency of Modern SAT-solvers for Selected Problems in P, NP, PSPACE, and EXPTIME A Niewiadomski, W Penczek, T Sidoruk Proceedings of the 26th International Workshop on Concurrency, Specification …, 2017 | 3 | 2017 |
| Strategic abilities of asynchronous agents: Semantic side effects W Jamroga, W Penczek, T Sidoruk Proceedings of AAMAS 2021, 1545-1547, 2021 | 2 | 2021 |
| Squeezing state spaces of (attack-defence) trees M Knapik, W Penczek, L Petrucci, T Sidoruk 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 2 | 2019 |
| Smt-solvers in action: Encoding and solving selected problems in NP and EXPTIME A Niewiadomski, P Switalski, T Sidoruk, W Penczek Scientific Annals of Computer Science 28 (2), 269-288, 2018 | 2 | 2018 |
| Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models J Arias, C Olarte, L Petrucci, Ł Maśko, W Penczek, T Sidoruk IEEE Transactions on Reliability, 2024 | 1 | 2024 |
| Investigating Characteristics and Differences Between Easy and Hard SAT Instances. T Sidoruk CS&P, 2018 | 1 | 2018 |
| Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic J Arias, C Olarte, W Penczek, L Petrucci, T Sidoruk 26th International Symposium on Principles and Practice of Declarative …, 2024 | | 2024 |
| State Space Reductions for Multi-agent Systems T Sidoruk | | |
| Trust topologies in verification of social explainable AI W Jamroga, D Kurpiewski, Ł Mikulski, T Sidoruk | | |
