Подписаться
Artur Meski
Artur Meski
Vector GB Limited; Institute of Computer Science, Polish Academy of Sciences
Подтвержден адрес электронной почты в домене ipipan.waw.pl - Главная страница
Название
Процитировано
Процитировано
Год
Model checking temporal properties of reaction systems
A Męski, W Penczek, G Rozenberg
Information Sciences 313, 22-42, 2015
452015
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
422014
Modularity and openness in modeling multi-agent systems
W Jamroga, A Mȩski, M Szreter
arXiv preprint arXiv:1307.4477, 2013
162013
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
92017
Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems.
A Meski, M Koutny, W Penczek
School of Computing Technical Report Series, 2019
82019
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
82015
Towards quantitative verification of reaction systems
A Męski, M Koutny, W Penczek
Unconventional Computation and Natural Computation: 15th International …, 2016
72016
SMT-based reachability checking for bounded time Petri nets
A Półrola, P Cybula, A Męski
Fundamenta Informaticae 135 (4), 467-482, 2014
72014
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
Unconventional Computation and Natural Computation: 17th International …, 2018
62018
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
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
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
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
52011
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: 10th International …, 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
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20