| Bounded model checking for parametric timed automata M Knapik, W Penczek Transactions on Petri Nets and Other Models of Concurrency V, 141-159, 2012 | 44 | 2012 |
| Approximate verification of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski Artificial Intelligence 277, 103172, 2019 | 26 | 2019 |
| Model checking the SELENE e-voting protocol in multi-agent logics W Jamroga, M Knapik, D Kurpiewski Electronic Voting: Third International Joint Conference, E-Vote-ID 2018 …, 2018 | 26 | 2018 |
| Fixpoint approximation of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski arXiv preprint arXiv:1612.02684, 2016 | 23 | 2016 |
| 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 | 22 | 2019 |
| Parametric Model Checking with VerICS M Knapik, A Niewiadomski, W Penczek, A Półrola, M Szreter, A Zbrzezny Transactions on Petri nets and other models of concurrency IV, 98-120, 2010 | 13 | 2010 |
| Bounded parametric verification for distributed time Petri nets with discrete-time semantics M Knapik, W Penczek, M Szreter Fundamenta Informaticae 101 (1-2), 9-27, 2010 | 12 | 2010 |
| On domination and control in strategic ability D Kurpiewski, ML Knapik, W Jamroga Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 9 | 2019 |
| Action synthesis for branching time logic: Theory and applications M Knapik, A Męski, W Penczek ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-23, 2015 | 9 | 2015 |
| Bounded Parametric Model Checking for Elementary Net Systems. M Knapik, M Szreter, W Penczek Trans. Petri Nets Other Model. Concurr. 4, 42-71, 2010 | 9 | 2010 |
| Parametric verification: an introduction É André, M Knapik, D Lime, W Penczek, L Petrucci Transactions on Petri Nets and Other Models of Concurrency XIV, 64-100, 2019 | 8 | 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 |
| Timed atl: Forget memory, just count É André, L Petrucci, W Jamroga, M Knapik, W Penczek | 8 | 2017 |
| Group synthesis for parametric temporal-epistemic logic. AV Jones, M Knapik, W Penczek, A Lomuscio AAMAS, 1107-1114, 2012 | 8 | 2012 |
| Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol F Belardinelli, R Condurache, C Dima, W Jamroga, M Knapik Information and Computation 276, 104552, 2021 | 7 | 2021 |
| 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 | 6 | 2020 |
| Timed ATL: forget memory, just count MJ Knapik, É André, L Petrucci, W Jamroga, W Penczek Journal of Artificial Intelligence Research 66, 197-223, 2019 | 6 | 2019 |
| Controlling actions and time in parametric timed automata E André, M Knapik, W Penczek, L Petrucci 2016 16th International Conference on Application of Concurrency to System …, 2016 | 4 | 2016 |
| Parameter synthesis for timed Kripke structures M Knapik, W Penczek Fundamenta Informaticae 133 (2-3), 211-226, 2014 | 4 | 2014 |
| SMT-based parameter synthesis for L/U automata. M Knapik, W Penczek PNSE 851, 77-92, 2012 | 4 | 2012 |
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)ipipan.waw.pl의 이메일 확인됨
