Artur Męski
From MaRDI portal
Person:1749192
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modularity and openness in modeling multi-agent systems | 2021-06-09 | Paper |
| Modularity and openness in modeling multi-agent systems (available as arXiv preprint) | 2021-06-09 | Paper |
| Model checking temporal properties of reaction systems Information Sciences | 2018-05-16 | Paper |
| Verification of linear-time temporal properties for reaction systems with discrete concentrations Fundamenta Informaticae | 2018-01-19 | Paper |
| Towards quantitative verification of reaction systems Unconventional Computation and Natural Computation | 2016-09-28 | Paper |
| SMT-based reachability checking for bounded time Petri nets Fundamenta Informaticae | 2015-06-26 | Paper |
| BDD-based bounded model checking for temporal properties of 1-safe Petri nets Fundamenta Informaticae | 2011-11-10 | Paper |
Research outcomes over time
This page was built for person: Artur Męski
