Michal Knapik

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 23

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR (2023)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR (2022)
Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci
Modular Analysis of Tree-Topology Models. ICFEM (2022)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. 276 (2021)
Laure Petrucci, Michal Knapik
Modular Analysis of Tree-Topology Models. CoRR (2020)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS (2020)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. CoRR (2019)
Damian Kurpiewski, Wojciech Jamroga, Michal Knapik
STV: Model Checking for Strategies under Imperfect Information. AAMAS (2019)
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
On Domination and Control in Strategic Ability. BNAIC/BENELEARN (2019)
Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk
Squeezing State Spaces of (Attack-Defence) Trees. ICECCS (2019)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Wojciech Jamroga, Michal Knapik
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). IJCAI (2019)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019)
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
On Domination and Control in Strategic Ability. AAMAS (2019)
Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66 (2019)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID (2018)
Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. AAMAS (2017)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS (2017)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
An Approach to Model Checking ATLir. CoRR (2016)
Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci
Controlling Actions and Time in Parametric Timed Automata. ACSD (2016)
Michal Knapik, Artur Niewiadomski, Wojciech Penczek
Generating None-Plans in Order to Find Plans. SEFM (2015)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR (2015)
Michal Knapik, Artur Meski, Wojciech Penczek
Action Synthesis for Branching Time Logic: Theory and Applications. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Michal Knapik, Wojciech Penczek
Fixed-Point Methods in Parametric Model Checking. IEEE Conf. on Intelligent Systems (1) (2014)
Michal Knapik, Artur Meski, Wojciech Penczek
Action Synthesis for Branching Time Logic: Theory and Applications. ACSD (2014)
Michal Knapik, Wojciech Penczek
Parameter Synthesis for Timed Kripke Structures. Fundam. Informaticae 133 (2-3) (2014)
Michal Knapik, Wojciech Penczek
Parameter Synthesis for Timed Kripke Structures. CS&P (2013)
Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio
Group synthesis for parametric temporal-epistemic logic. AAMAS (2012)
Michal Knapik, Wojciech Penczek
Bounded Model Checking for Parametric Timed Automata. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Michal Knapik, Wojciech Penczek
SMT-based parameter synthesis for L/U automata. PNSE (2012)
Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
Parametric Model Checking with VerICS. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Michal Knapik, Maciej Szreter, Wojciech Penczek
Bounded Parametric Model Checking for Elementary Net Systems. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola
Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. Fundam. Informaticae 101 (1-2) (2010)
Michal Knapik, Wojciech Penczek
Bounded Model Checking for Parametric Timed Automata. ACSD/Petri Nets Workshops (2010)