Æȷοì
Micha©© Knapik
Micha©© Knapik
Institute of Computer Science of the Polish Academy of Sciences
ipipan.waw.plÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Bounded model checking for parametric timed automata
M Knapik, W Penczek
Transactions on Petri Nets and Other Models of Concurrency V, 141-159, 2012
472012
Approximate verification of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski, ¨© Mikulski
Artificial Intelligence 277, 103172, 2019
312019
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
302018
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
262019
Fixpoint approximation of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski
arXiv preprint arXiv:1612.02684, 2016
242016
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
122010
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
122010
On domination and control in strategic ability
D Kurpiewski, ML Knapik, W Jamroga
Proceedings of the 18th International Conference on Autonomous Agents and ¡¦, 2019
112019
Timed ATL: forget memory, just count
MJ Knapik, É André, L Petrucci, W Jamroga, W Penczek
Journal of Artificial Intelligence Research 66, 197-223, 2019
102019
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
92023
Group synthesis for parametric temporal-epistemic logic.
AV Jones, M Knapik, W Penczek, A Lomuscio
AAMAS, 1107-1114, 2012
92012
Bounded parametric model checking for elementary net systems
M Knapik, M Szreter, W Penczek
Transactions on Petri Nets and Other Models of Concurrency IV, 42-71, 2010
92010
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
82019
Timed ATL: Forget Memory, Just Count.
É André, L Petrucci, W Jamroga, M Knapik, W Penczek
Journal of Artificial Intelligence Research 66, 2019
82019
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
82015
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
72021
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
72019
Controlling actions and time in parametric timed automata
É André, M Knapik, W Penczek, L Petrucci
2016 16th International Conference on Application of Concurrency to System ¡¦, 2016
42016
Parameter synthesis for timed Kripke structures
M Knapik, W Penczek
Fundamenta Informaticae 133 (2-3), 211-226, 2014
42014
SMT-based parameter synthesis for L/U automata.
M Knapik, W Penczek
PNSE 851, 77-92, 2012
42012
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20