Yehia Abd Alrahman, Nir Piterman. Modelling and verification of reconfigurable multi-agent systems. Autonomous Agents and Multi-Agent Systems, 35(2):47, 2021. [doi]
@article{AlrahmanP21,
title = {Modelling and verification of reconfigurable multi-agent systems},
author = {Yehia Abd Alrahman and Nir Piterman},
year = {2021},
doi = {10.1007/s10458-021-09521-x},
url = {https://doi.org/10.1007/s10458-021-09521-x},
researchr = {https://researchr.org/publication/AlrahmanP21},
cites = {0},
citedby = {0},
journal = {Autonomous Agents and Multi-Agent Systems},
volume = {35},
number = {2},
pages = {47},
}