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]

Authors

Yehia Abd Alrahman

This author has not been identified. Look up 'Yehia Abd Alrahman' in Google

Nir Piterman

This author has not been identified. Look up 'Nir Piterman' in Google