Browsing IT Faculty / IT-fakulteten by Author "Alrahman, Yehia Abd"
Now showing items 1-2 of 2
-
Model Checking Reconfigurable Interacting Systems
Alrahman, Yehia Abd; Azzopardi, Shaun; Piterman, Nir (International Symposium on Leveraging Applications of Formal Methods, 2022)Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ... -
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
Alrahman, Yehia Abd; Azzopardi, Shaun; Piterman, Nir (AAMAS 2022, 2022)Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by ...