| 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 | 23 | 2018 |
| Fixpoint approximation of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski arXiv preprint arXiv:1612.02684, 2016 | 23 | 2016 |
| Approximate verification of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski Artificial Intelligence 277, 103172, 2019 | 19 | 2019 |
| 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 | 16 | 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 | 12 | 2019 |
| STV+ Reductions: Towards practical verification of strategic ability using model reductions D Kurpiewski, W Pazderski, W Jamroga, Y Kim Proceedings of AAMAS, 1770-1772, 2021 | 5 | 2021 |
| On domination and control in strategic ability D Kurpiewski, ML Knapik, W Jamroga Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 5 | 2019 |
| Towards Model Checking of Voting Protocols in Uppaal W Jamroga, Y Kim, D Kurpiewski, PYA Ryan International Joint Conference on Electronic Voting, 129-146, 2020 | 4 | 2020 |
| MsATL: A tool for SAT-based ATL satisfiability checking A Niewiadomski, M Kacprzak, D Kurpiewski, M Knapik, W Penczek, ... Proceedings of 19th International Conference on Autonomous Agents and …, 2020 | 4 | 2020 |
| 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 | 3 | 2020 |
| Multi-valued verification of strategic ability W Jamroga, B Konikowska, D Kurpiewski, W Penczek Fundamenta Informaticae 175 (1-4), 207-251, 2020 | 2 | 2020 |
| Towards Assume-Guarantee Verification of Strategic Ability Ł Mikulski, W Jamroga, D Kurpiewski Proceedings of the 21st International Conference on Autonomous Agents and …, 2022 | 1 | 2022 |
| An approach to model checking ATLir W Jamroga, M Knapik, D Kurpiewski CoRR, abs/1612.02684, 2016 | 1 | 2016 |
| Approximating strategic abilities under imperfect information: a naive approach W Jamroga, M Knapik, D Kurpiewski arXiv preprint arXiv:1510.06587, 2015 | 1 | 2015 |
| STV+ AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning D Kurpiewski, Ł Mikulski, W Jamroga arXiv preprint arXiv:2203.01033, 2022 | | 2022 |
| How to measure usable security: Natural strategies in voting protocols W Jamroga, D Kurpiewski, V Malvone Journal of Computer Security, 1-29, 2022 | | 2022 |
| Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal W Jamroga, Y Kim, D Kurpiewski, PYA Ryan arXiv preprint arXiv:2007.12412, 2020 | | 2020 |
| Strategic logics for collaborative embedded systems D Kurpiewski, D Marmsoler SICS Software-Intensive Cyber-Physical Systems 34 (4), 201-212, 2019 | | 2019 |
| Trudne Tematy w Najprostszy Sposób - Rekurencja D Kurpiewski, K Skowronek, M Firszt Informatyka w Edukacji XV, 2018 | | 2018 |
| Trudne Tematy w Najprostszy Sposób D Kurpiewski, K Skowronek, M Firszt Informatyka w Edukacji XV, 2018 | | 2018 |
Wojciech JamrogaPolish Academy of Sciencesipipan.waw.pl의 이메일 확인됨
