Artur Meski
Artur Meski
Vector GB Limited; Institute of Computer Science, Polish Academy of Sciences
Verified email at ipipan.waw.pl - Homepage
Title
Cited by
Cited by
Year
BDD- versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
A Mȩski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny
Autonomous Agents and Multi-Agent Systems 28 (4), 558-604, 2014
392014
Model checking temporal properties of reaction systems
A Męski, W Penczek, G Rozenberg
Information Sciences 313, 22-42, 2015
352015
Model checking temporal properties of reaction systems
A Męski, W Penczek, G Rozenberg
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk, 2014
352014
Modularity and openness in modeling multi-agent systems
W Jamroga, A Mȩski, M Szreter
arXiv preprint arXiv:1307.4477, 2013
132013
Bounded model checking linear time and knowledge using decision diagrams
A Meski, W Penczek, M Szreter
Proc. of CS&P'11, 363-375, 2011
72011
Reaction mining for reaction systems
A Męski, M Koutny, W Penczek
International Conference on Unconventional Computation and Natural†…, 2018
62018
Verification of linear-time temporal properties for reaction systems with discrete concentrations
A Męski, M Koutny, W Penczek
Fundamenta Informaticae 154 (1-4), 289-306, 2017
62017
Action synthesis for branching time logic: Theory and applications
M Knapik, A Męski, W Penczek
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-23, 2015
62015
Bounded model checking for knowledge and linear time
A Meski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny
Proceedings of the 11th International Conference on Autonomous Agents and†…, 2012
62012
Two approaches to bounded model checking for linear time logic with knowledge
A Męski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny
KES International Symposium on Agent and Multi-Agent Systems: Technologies†…, 2012
52012
BDD-based bounded model checking for LTLK over two variants of interpreted systems
A Meski, W Penczek, M Szreter
Proceedings of 5th International Workshop on Logics, Agents, and Mobility, 35-50, 2012
52012
Towards quantitative verification of reaction systems
A Męski, M Koutny, W Penczek
International Conference on Unconventional Computation and Natural†…, 2016
42016
SMT-based reachability checking for bounded time Petri nets
A Půłrola, P Cybula, A Męski
Fundamenta Informaticae 135 (4), 467-482, 2014
42014
Bounded model checking approaches for verificaton of distributed time Petri nets
A Meski, W Penczek, A Půłrola, B Woźna-Szcześniak, A Zbrzezny
Proc. of the Int. Workshop on Petri Nets and Software Engineering (PNSE’11†…, 2011
42011
Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems.
A Meski, M Koutny, W Penczek
School of Computing Technical Report Series, 2019
22019
Two approaches to bounded model checking for a soft real-time epistemic computation tree logic
A Męski, B Woźna-Szcześniak, AM Zbrzezny, A Zbrzezny
Distributed Computing and Artificial Intelligence, 483-491, 2013
22013
BDD-based bounded model checking for temporal properties of 1-safe Petri nets
A Męski, W Penczek, A Půłrola
Fundamenta Informaticae 109 (3), 305-321, 2011
22011
Model Checking for Reaction and Multi-Agent Systems
A Męski
PhD thesis. Institute of Computer Science, Polish Academy of Sciences, 2020
12020
Modularity and openness in modeling MAS
W Jamroga, A Meski, M Szreter
2013
Bounded Model Checking for Linear Time Temporal-Epistemic Logic
A Meski, W Penczek, M Szreter
2012 Imperial College Computing Student Workshop 28, 88-94, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20