Approximate verification of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski Artificial Intelligence 277, 103172, 2019 | 33 | 2019 |
Strategy logic with simple goals: Tractable reasoning about strategies F Belardinelli, W Jamroga, V Malvone, A Murano 28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019 | 33 | 2019 |
Model checking the SELENE e-voting protocol in multi-agent logics W Jamroga, M Knapik, D Kurpiewski International Joint Conference on Electronic Voting, 100-116, 2018 | 30 | 2018 |
STV: Model checking for strategies under imperfect information D Kurpiewski, W Jamroga, ML Knapik Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 28 | 2019 |
STV+ Reductions: Towards practical verification of strategic ability using model reductions D Kurpiewski, W Pazderski, W Jamroga, Y Kim arXiv preprint arXiv:2310.18418, 2023 | 24 | 2023 |
Fixpoint approximation of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski arXiv preprint arXiv:1612.02684, 2016 | 24 | 2016 |
Multi-valued verification of strategic ability W Jamroga, B Konikowska, W Penczek Proceedings of the 2016 International Conference on Autonomous Agents …, 2016 | 24* | 2016 |
Natural strategic abilities in voting protocols W Jamroga, D Kurpiewski, V Malvone International Workshop on Socio-Technical Aspects in Security and Trust, 45-62, 2020 | 12 | 2020 |
Towards Model Checking of Voting Protocols in Uppaal W Jamroga, Y Kim, D Kurpiewski, PYA Ryan Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020 …, 2020 | 11 | 2020 |
On domination and control in strategic ability D Kurpiewski, ML Knapik, W Jamroga Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 11 | 2019 |
MsATL: A tool for SAT-based ATL satisfiability checking A Niewiadomski, M Kacprzak, D Kurpiewski, M Knapik, W Penczek, ... arXiv preprint arXiv:2310.16519, 2023 | 10 | 2023 |
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 | 4 | 2023 |
STV+ AGR: towards verification of strategic ability using assume-guarantee reasoning D Kurpiewski, Ł Mikulski, W Jamroga International Conference on Principles and Practice of Multi-Agent Systems …, 2022 | 4 | 2022 |
Towards modelling and verification of social explainable AI D Kurpiewski, W Jamroga, T Sidoruk arXiv preprint arXiv:2302.01063, 2023 | 3 | 2023 |
Towards assume-guarantee verification of strategic ability Ł Mikulski, W Jamroga, D Kurpiewski arXiv preprint arXiv:2310.15727, 2023 | 2 | 2023 |
Assume-guarantee verification of strategic ability Ł Mikulski, W Jamroga, D Kurpiewski International Conference on Principles and Practice of Multi-Agent Systems …, 2022 | 2 | 2022 |
How to measure usable security: Natural strategies in voting protocols W Jamroga, D Kurpiewski, V Malvone Journal of Computer Security 30 (3), 381-409, 2022 | 2 | 2022 |
STV+ AGR: towards practical verification of strategic ability using assume-guarantee reasoning D Kurpiewski, Ł Mikulski, W Jamroga arXiv preprint arXiv:2203.01033, 2022 | 1 | 2022 |
Strategic logics for collaborative embedded systems: Specification and verification of collaborative embedded systems using strategic logics D Kurpiewski, D Marmsoler SICS Software-Intensive Cyber-Physical Systems 34 (4), 201-212, 2019 | 1 | 2019 |
An approach to model checking ATLir W Jamroga, M Knapik, D Kurpiewski CoRR, abs/1612.02684, 2016 | 1 | 2016 |