Artur Meski

18 papers A 1Misc 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Model checking for distributed reaction systems with temporal-epistemic properties.
Nat. Comput.
Artur Meski, Maciej Koutny, Lukasz Mikulski, Ion Petre, Wojciech Penczek, Marcin Piatkowski
2024 J jnl
Reaction mining for reaction systems.
Nat. Comput.
Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek
2018 — conf
Reaction Mining for Reaction Systems.
UCNC
Artur Meski, Maciej Koutny, Wojciech Penczek
2017 J jnl
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations.
Fundam. Informaticae
Artur Meski, Maciej Koutny, Wojciech Penczek
2016 — conf
Towards Quantitative Verification of Reaction Systems.
UCNC
Artur Meski, Maciej Koutny, 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
Model checking temporal properties of reaction systems.
Inf. Sci.
Artur Meski, Wojciech Penczek, Grzegorz Rozenberg
2014 — conf
Action Synthesis for Branching Time Logic: Theory and Applications.
ACSD
Michal Knapik, Artur Meski, Wojciech Penczek
2014 J jnl
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.
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2014 J jnl
SMT-Based Reachability Checking for Bounded Time Petri Nets.
Fundam. Informaticae
Agata Pólrola, Piotr Cybula, Artur Meski
2013 — conf
Modularity and Openness in Modeling Multi-Agent Systems.
GandALF
Wojciech Jamroga, Artur Meski, Maciej Szreter
2013 — conf
SMT-Based Reachability Checking for Bounded Time Petri Nets.
CS&P
Agata Pólrola, Piotr Cybula, Artur Meski
2013 Misc conf
Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic.
DCAI
Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
2012 — conf
Bounded Model Checking for Linear Time Temporal-Epistemic Logic.
ICCSW
Artur Meski, Wojciech Penczek, Maciej Szreter
2012 A conf
Bounded model checking for knowledge and linear time.
AAMAS
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2012 — conf
Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge.
KES-AMSTA
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2011 J jnl
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets.
Fundam. Informaticae
Artur Meski, Wojciech Penczek, Agata Pólrola
2011 — conf
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets.
PNSE
Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny