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