Artur Meski

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 4

Top Topics

Temporal Properties

Action Theories

Top Venues

Fundam. Informaticae

ACM Trans. Embed. Comput. Syst.

Auton. Agents Multi Agent Syst.

Publications

Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek
Reaction mining for reaction systems. Nat. Comput. 23 (2) (2024)
Artur Meski, Maciej Koutny, Wojciech Penczek
Reaction Mining for Reaction Systems. UCNC (2018)
Artur Meski, Maciej Koutny, Wojciech Penczek
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. Fundam. Informaticae 154 (1-4) (2017)
Artur Meski, Maciej Koutny, Wojciech Penczek
Towards Quantitative Verification of Reaction Systems. UCNC (2016)
Artur Meski, Wojciech Penczek, Grzegorz Rozenberg
Model checking temporal properties of reaction systems. Inf. Sci. 313 (2015)
Michal Knapik, Artur Meski, Wojciech Penczek
Action Synthesis for Branching Time Logic: Theory and Applications. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Auton. Agents Multi Agent Syst. 28 (4) (2014)
Agata Pólrola, Piotr Cybula, Artur Meski
SMT-Based Reachability Checking for Bounded Time Petri Nets. Fundam. Informaticae 135 (4) (2014)
Michal Knapik, Artur Meski, Wojciech Penczek
Action Synthesis for Branching Time Logic: Theory and Applications. ACSD (2014)
Agata Pólrola, Piotr Cybula, Artur Meski
SMT-Based Reachability Checking for Bounded Time Petri Nets. CS&P (2013)
Wojciech Jamroga, Artur Meski, Maciej Szreter
Modularity and Openness in Modeling Multi-Agent Systems. GandALF (2013)
Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. DCAI (2013)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. KES-AMSTA (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter
Bounded Model Checking for Linear Time Temporal-Epistemic Logic. ICCSW (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Bounded model checking for knowledge and linear time. AAMAS (2012)
Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. PNSE (2011)
Artur Meski, Wojciech Penczek, Agata Pólrola
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. Fundam. Informaticae 109 (3) (2011)