Michal Knapik

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