Michal Knapik

According to our database, Michal Knapik authored at least 27 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Modular Analysis of Tree-Topology Models.

Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol.

Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik

Inf. Comput., 2021

2020

Modular Analysis of Tree-Topology Models.

Laure Petrucci, Michal Knapik

CoRR, 2020

MsATL: A Tool for SAT-Based ATL Satisfiability Checking.

Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Parametric Verification: An Introduction.

Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci

Trans. Petri Nets Other Model. Concurr., 2019

Timed ATL: Forget Memory, Just Count.

Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek

J. Artif. Intell. Res., 2019

Approximate verification of strategic abilities under imperfect information.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski

Artif. Intell., 2019

Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!).

Wojciech Jamroga, Michal Knapik

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Squeezing State Spaces of (Attack-Defence) Trees.

Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

On Domination and Control in Strategic Ability.

Damian Kurpiewski, Michal Knapik, Wojciech Jamroga

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

STV: Model Checking for Strategies under Imperfect Information.

Damian Kurpiewski, Wojciech Jamroga, Michal Knapik

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Model Checking the SELENE E-Voting Protocol in Multi-agent Logics.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

2017

Fixpoint Approximation of Strategic Abilities under Imperfect Information.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

SMT-Based Parameter Synthesis for Parametric Timed Automata.

Michal Knapik, Wojciech Penczek

Proceedings of the Challenging Problems and Solutions in Intelligent Systems, 2016

An Approach to Model Checking ATLir.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

CoRR, 2016

Controlling Actions and Time in Parametric Timed Automata.

Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Action Synthesis for Branching Time Logic: Theory and Applications.

Michal Knapik, Artur Meski, Wojciech Penczek

ACM Trans. Embed. Comput. Syst., 2015

Approximating Strategic Abilities under Imperfect Information: a Naive Approach.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski

CoRR, 2015

Generating None-Plans in Order to Find Plans.

Michal Knapik, Artur Niewiadomski, Wojciech Penczek

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Parameter Synthesis for Timed Kripke Structures.

Michal Knapik, Wojciech Penczek

Fundam. Informaticae, 2014

Fixed-Point Methods in Parametric Model Checking.

Michal Knapik, Wojciech Penczek

Proceedings of the Intelligent Systems'2014, 2014

2012

Bounded Model Checking for Parametric Timed Automata.

Michal Knapik, Wojciech Penczek

Trans. Petri Nets Other Model. Concurr., 2012

SMT-based parameter synthesis for L/U automata.

Michal Knapik, Wojciech Penczek

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

Group synthesis for parametric temporal-epistemic logic.

Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2010

Bounded Parametric Model Checking for Elementary Net Systems.

Michal Knapik, Maciej Szreter, Wojciech Penczek

Trans. Petri Nets Other Model. Concurr., 2010

Parametric Model Checking with VerICS.

Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny

Trans. Petri Nets Other Model. Concurr., 2010

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics.

Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola

Fundam. Informaticae, 2010