Browsing IT Faculty / IT-fakulteten by Subject "Agent Theories and Models"
Now showing items 1-1 of 1
-
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
(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 ...