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 | 43 | 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 | 12 | 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 | 12 | 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 | 8 | 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 | 5 | 2023 |
Strategic (timed) computation tree logic J Arias, W Jamroga, W Penczek, L Petrucci, T Sidoruk arXiv preprint arXiv:2302.13405, 2023 | 5 | 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 | 4 | 2020 |
Towards modelling and verification of social explainable AI D Kurpiewski, W Jamroga, T Sidoruk arXiv preprint arXiv:2302.01063, 2023 | 3 | 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 | 3 | 2022 |
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 paradoxes and how to tame them W Jamroga, W Penczek, T Sidoruk CoRR abs/2003.03867. Revised version, 2021 | 2 | 2021 |
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 | 2 | 2021 |
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 |
Investigating Characteristics and Differences Between Easy and Hard SAT Instances. T Sidoruk CS&P, 2018 | 1 | 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 | | 2024 |
Trust topologies in verification of social explainable AI W Jamroga, D Kurpiewski, Ł Mikulski, T Sidoruk | | |
Episciences. org H IRISA | | |
2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)| 978-1-6654-0162-3/22/$31.00© 2022 IEEE| DOI: 10.1109/ICECCS54210. 2022.00033 M Afendi, Y Aït-Ameur, J Arias, R Banach, Y Bao, M Basso, N Belloir, ... | | |