Now showing items 1-1 of 1

    • 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 ...