Search
Now showing items 1-1 of 1
Language Support for Verifying Reconfigurable Interacting Systems
(2023)
Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ...