| Approximate verification of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski Artificial Intelligence 277, 103172, 2019 | 34 | 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 | 31 | 2018 |
| STV: Model checking for strategies under imperfect information D Kurpiewski, W Jamroga, ML Knapik 18th International Conference on Autonomous Agents and Multiagent Systems …, 2019 | 29 | 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 | 26 | 2023 |
| Multi-valued verification of strategic ability W Jamroga, B Konikowska, D Kurpiewski, W Penczek Fundamenta Informaticae 175 (1-4), 207-251, 2020 | 26 | 2020 |
| Fixpoint approximation of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski arXiv preprint arXiv:1612.02684, 2016 | 25 | 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 | 13 | 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 | 12 | 2020 |
| On domination and control in strategic ability D Kurpiewski, ML Knapik, W Jamroga 18th International Conference on Autonomous Agents and Multiagent Systems …, 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 | 8 | 2023 |
| Towards modelling and verification of social explainable AI D Kurpiewski, W Jamroga, T Sidoruk arXiv preprint arXiv:2302.01063, 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 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 |
| Scalable Verification of Social Explainable AI by Variable Abstraction. W Jamroga, Y Kim, D Kurpiewski ICAART (1), 149-158, 2024 | 1 | 2024 |
| 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 |
Wojciech JamrogaPolish Academy of Sciencesipipan.waw.pl의 이메일 확인됨
