Search
Now showing items 11-12 of 12
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 ...
Attributed Point-to-Point Communication in R-CHECK
(Lecture Notes in Computer Science (LNCS), 2024)
Autonomous multi-agent, or more generally, collective adaptive systems, use different modes of communication to support their autonomy and ease of interaction. In order to enable modelling and reasoning about such systems, ...