Artur Meski

According to our database, Artur Meski authored at least 14 papers between 2011 and 2018.

Collaborative distances:

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

2018

Reaction Mining for Reaction Systems.

Artur Meski, Maciej Koutny, Wojciech Penczek

Proceedings of the Unconventional Computation and Natural Computation, 2018

2017

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations.

Artur Meski, Maciej Koutny, Wojciech Penczek

Fundam. Informaticae, 2017

2016

Towards Quantitative Verification of Reaction Systems.

Artur Meski, Maciej Koutny, Wojciech Penczek

Proceedings of the Unconventional Computation and Natural Computation, 2016

2015

Action Synthesis for Branching Time Logic: Theory and Applications.

Michal Knapik, Artur Meski, Wojciech Penczek

ACM Trans. Embed. Comput. Syst., 2015

Model checking temporal properties of reaction systems.

Artur Meski, Wojciech Penczek, Grzegorz Rozenberg

Inf. Sci., 2015

2014

SMT-Based Reachability Checking for Bounded Time Petri Nets.

Agata Pólrola, Piotr Cybula, Artur Meski

Fundam. Informaticae, 2014

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

2013

Modularity and Openness in Modeling Multi-Agent Systems.

Wojciech Jamroga, Artur Meski, Maciej Szreter

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic.

Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny

Proceedings of the Distributed Computing and Artificial Intelligence, 2013

2012

Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge.

Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Bounded Model Checking for Linear Time Temporal-Epistemic Logic.

Artur Meski, Wojciech Penczek, Maciej Szreter

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Bounded model checking for knowledge and linear time.

Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny

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

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 Approaches for Verification of Distributed Time Petri Nets.

Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny

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