Artur Meski

Artur Meski

Polish Academy of Sciences - Warsaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 5152323
Polska Akademia Nauk
person_outline Artur Meski's MOST POPULAR ARTICLES
1-) Model checking temporal properties of reaction systemsA Męski, W Penczek, G RozenbergInformation Sciences 313, 22-42, 2015442015
2-) BDD- versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performanceA Mȩski, W Penczek, M Szreter, B Woźna-Szcześniak, A ZbrzeznyAutonomous Agents and Multi-Agent Systems 28 (4), 558-604, 2014422014
3-) Modularity and openness in modeling multi-agent systemsW Jamroga, A Mȩski, M SzreterarXiv preprint arXiv:1307.4477, 2013162013
4-) Verification of linear-time temporal properties for reaction systems with discrete concentrationsA Męski, M Koutny, W PenczekFundamenta Informaticae 154 (1-4), 289-306, 2017112017
5-) Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems.A Meski, M Koutny, W PenczekSchool of Computing Technical Report Series, 2019102019