Login / Signup
Constrained global types for dynamic checking of protocol conformance in multi-agent systems.
Davide Ancona
Matteo Barbieri
Viviana Mascardi
Published in:
SAC (2013)
Keyphrases
</>
cooperative
multi agent systems
contract net protocol
multi agent
open environments
fully distributed
autonomous agents
intelligent agents
lightweight
multi agent reinforcement learning
dynamic environments
agent architecture
communication protocol
network protocols
coloured petri nets