Artur Meski
Artur Meski
Vector GB Limited; Institute of Computer Science, Polish Academy of Sciences
Verified email at ipipan.waw.pl - Homepage
TitleCited byYear
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
352014
Model checking temporal properties of reaction systems
A Męski, W Penczek, G Rozenberg
Information Sciences 313, 22-42, 2015
222015
Model checking temporal properties of reaction systems
A Męski, W Penczek, G Rozenberg
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk, 2014
202014
Modularity and openness in modeling multi-agent systems
W Jamroga, A Mȩski, M Szreter
arXiv preprint arXiv:1307.4477, 2013
112013
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
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), 64, 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
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
32017
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
32011
Reaction mining for reaction systems
A Męski, M Koutny, W Penczek
International Conference on Unconventional Computation and Natural …, 2018
22018
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 Temporal-Epistemic Properties of Distributed Reaction Systems.
A Meski, M Koutny, W Penczek
School of Computing Technical Report Series, 2019
2019
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
Modelowanie i weryfikacja protokołu SCTP z wykorzystaniem automatów czasowych ze zmiennymi
A Męski, A Półrola
Zeszyty Naukowe Wyższej Szkoły Informatyki 7 (1), 49-67, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20