TY  - RPRT
TI  - Modelling and Verification of Reconfigurable Multi-Agent Systems
AU  - Yehia Abd Alrahman
AU  - Nir Piterman
PY  - 2021
UR  - https://arxiv.org/abs/2104.10998
ID  - 2104.10998
ER  -