Modelling and verification of reconfigurable multi-agent systems

Yehia Abd Alrahman, Nir Piterman. Modelling and verification of reconfigurable multi-agent systems. Autonomous Agents and Multi-Agent Systems, 35(2):47, 2021. [doi]

Abstract

Abstract is missing.