Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. - Artur Meski; Agata Pólrola; Wojciech Penczek; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (PNSE, 2011)

BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. - Artur Meski; Wojciech Penczek; Agata Pólrola (Fundam. Informaticae, 2011)

Bounded model checking for knowledge and linear time. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (AAMAS, 2012)

Bounded Model Checking for Linear Time Temporal-Epistemic Logic. - Artur Meski; Wojciech Penczek; Maciej Szreter (ICCSW, 2012)

Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (KES-AMSTA, 2012)

Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. - Artur Meski; Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (DCAI, 2013)

Modularity and Openness in Modeling Multi-Agent Systems. - Wojciech Jamroga; Artur Meski; Maciej Szreter (GandALF, 2013)

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (Auton. Agents Multi Agent Syst., 2014)

SMT-Based Reachability Checking for Bounded Time Petri Nets. - Agata Pólrola; Piotr Cybula; Artur Meski (Fundam. Informaticae, 2014)

Model checking temporal properties of reaction systems. - Artur Meski; Wojciech Penczek; Grzegorz Rozenberg (Inf. Sci., 2015)

Action Synthesis for Branching Time Logic: Theory and Applications. - Michal Knapik; Artur Meski; Wojciech Penczek (ACM Trans. Embed. Comput. Syst., 2015)

Towards Quantitative Verification of Reaction Systems. - Artur Meski; Maciej Koutny; Wojciech Penczek (UCNC, 2016)

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. - Artur Meski; Maciej Koutny; Wojciech Penczek (Fundam. Informaticae, 2017)

Reaction Mining for Reaction Systems. - Artur Meski; Maciej Koutny; Wojciech Penczek (UCNC, 2018)

Reaction mining for reaction systems. - Artur Meski; Maciej Koutny; Lukasz Mikulski; Wojciech Penczek (Nat. Comput., 2024)